--- a/series	Mon Dec 24 11:48:38 2012 +0100
+++ b/series	Tue Jan 08 06:54:29 2013 +0100
@@ -19,6 +19,7 @@
 mozilla-ppc.patch
 mozilla-idldir.patch
 mozilla-webrtc.patch
+mozilla-libproxy-compat.patch
 #mozilla-disable-neon-option.patch
 
 # Firefox patches