--- 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");