diff -r 8241ee013bb3 -r 49dc6da2c835 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