From acf5a7a54dd6b412fa543e1432559e3d701fab4f Mon Sep 17 00:00:00 2001
From: earthlng <earthlng@users.noreply.github.com>
Date: Tue, 28 Feb 2017 12:21:14 +0100
Subject: [PATCH] change 9997 title

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

diff --git a/user.js b/user.js
index 8248863..bc63fbb 100644
--- 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