From 7f232b71b1e44c7c1a50806caec890105244d1f5 Mon Sep 17 00:00:00 2001
From: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date: Sun, 9 Dec 2018 19:02:49 +0000
Subject: [PATCH] old pocket info

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

diff --git a/user.js b/user.js
index f11c8ae..54cc2d4 100644
--- a/user.js
+++ b/user.js
@@ -1871,7 +1871,7 @@ user_pref("browser.safebrowsing.appRepURL", ""); // Google application reputatio
 // 0420: disable polaris (part of Tracking Protection, never used in stable)
    // [-] https://bugzilla.mozilla.org/1235565
    // user_pref("browser.polaris.enabled", false);
-// 0510: disable "Pocket" - replaced by extensions.pocket.*
+// 0510: disable "Pocket" [FF39+] - replaced by extensions.pocket.*
    // [-] https://bugzilla.mozilla.org/1215694
 user_pref("browser.pocket.enabled", false);
 user_pref("browser.pocket.api", "");