diff -r fb49ee6e3828 -r f46af22f1079 MozillaFirefox/firefox-712763.patch
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/MozillaFirefox/firefox-712763.patch	Mon Feb 18 14:11:20 2013 +0100
@@ -0,0 +1,1 @@
+../firefox-712763.patch
\ No newline at end of file