branch | esr17 |
changeset 632 | b83636a26466 |
parent 577 | 96e70217f18a |
child 665 | efc8a8a62a09 |
--- 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