user.js

commit acf5a7a54dd6b412fa543e1432559e3d701fab4f
parent ebdd81c764d40a9afeb2d3e5d56b5ededb84222b
Author: earthlng <earthlng@users.noreply.github.com>
Date:   Tue, 28 Feb 2017 12:21:14 +0100

change 9997 title

it got lost
Diffstat:
M
user.js
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/user.js b/user.js
@@ -1378,7 +1378,7 @@ user_pref("browser.migrate.automigrate.enabled", false);
 /* END: internal custom pref to test for syntax errors ***/
 user_pref("ghacks_user.js.parrot", "No no he's not dead, he's, he's restin'! Remarkable bird, the Norwegian Blue");
 
-/*** 9997: DEPRECATED
+/*** 9997: DEPRECATED / REMOVED
      Personally confirmed by resetting as well as via documentation and DXR searches.
      [NOTE] numbers may get re-used ***/
 /* 2607: (23+) disable page thumbnails, it was around v23, not 100% sure when