From 450838ab590bf85649569bcbb84c46a2e507a5ff Mon Sep 17 00:00:00 2001
From: earthlng <earthlng@users.noreply.github.com>
Date: Tue, 13 Mar 2018 17:04:10 +0100
Subject: [PATCH] Update user.js

---
 user.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js
index d576ed3..0d7c112 100644
--- a/user.js
+++ b/user.js
@@ -1805,7 +1805,7 @@ user_pref("dom.workers.sharedWorkers.enabled", false);
 user_pref("browser.sessionstore.privacy_level_deferred", 2);
 // ***/
 /* FF46
-// 0333a: disable health report
+// 0333: disable health report
    // [-] https://bugzilla.mozilla.org/show_bug.cgi?id=1234526
 user_pref("datareporting.healthreport.service.enabled", false); // (hidden pref)
 user_pref("datareporting.healthreport.documentServerURI", ""); // (hidden pref)