diff -r 3711e2f7e3e7 -r 35be97f6fdf7 MozillaFirefox/mozilla-gcc47.patch
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/MozillaFirefox/mozilla-gcc47.patch	Mon Apr 16 11:47:04 2012 +0200
@@ -0,0 +1,1 @@
+../mozilla-gcc47.patch
\ No newline at end of file