--- a/mozilla-preferences.patch Sat Jul 18 15:01:59 2015 +0200
+++ b/mozilla-preferences.patch Mon Jul 20 11:11:23 2015 +0200
@@ -6,11 +6,12 @@
# HG changeset patch
# Parent 8c1bfc96b05ef1836aad6e9f2af323f63ed1b69c
+# Parent 3de9f5c9ca0d23956f2580ad534ac139a63527a5
diff --git a/modules/libpref/init/all.js b/modules/libpref/init/all.js
--- a/modules/libpref/init/all.js
+++ b/modules/libpref/init/all.js
-@@ -1503,17 +1503,17 @@ pref("converter.html2txt.header_strategy
+@@ -1770,17 +1770,17 @@ pref("converter.html2txt.always_include_
pref("intl.accept_languages", "chrome://global/locale/intl.properties");
pref("intl.menuitems.alwaysappendaccesskeys","chrome://global/locale/intl.properties");