user.js

commit 394b6915995383968e12d923f0b4d63c0ff6b4e9
parent ba83c555cc78bb60f40c0d7b20cc643d02c26c62
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Mon, 13 Apr 2020 04:55:10 +0000

2421: grammar fix
Diffstat:
M
user.js
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/user.js b/user.js
@@ -1052,7 +1052,7 @@ user_pref("dom.vibrator.enabled", false);
  * [6] https://rh0dev.github.io/blog/2017/the-return-of-the-jit/ ***/
 user_pref("javascript.options.asmjs", false);
 /* 2421: disable Ion and baseline JIT to harden against JS exploits [SETUP-HARDEN]
- * [NOTE] In FF75+, when **both** Ion and JIT are disabled, **and** the new pref
+ * [NOTE] In FF75+, when **both** Ion and JIT are disabled, **and** the new
  * hidden pref is enabled, then Ion can still be used by extensions (1599226)
  * [WARNING] Disabling Ion/JIT can cause some site issues and performance loss
  * [1] https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2015-0817 ***/