--- a/series	Sun Jan 06 18:41:42 2013 +0100
+++ b/series	Sat Mar 16 15:05:51 2013 +0100
@@ -18,6 +18,7 @@
 mozilla-gstreamer-760140.patch
 mozilla-ppc.patch
 mozilla-idldir.patch
+mozilla-deoptimize.patch
 mozilla-gcc43-enums.patch
 mozilla-gcc43-template_hacks.patch
 mozilla-gcc43-templates_instantiation.patch