user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 78bf49adb468c07335c4d58f2d5e502abe9a696d
parent f024e9bd43d62f269db10fdfda570df1ca8dcd85
Author: earthlng <earthlng@users.noreply.github.com>
Date:   Tue,  9 May 2017 17:31:27 +0200

1222: typo
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -640,7 +640,7 @@ user_pref("security.family_safety.mode", 0); * [2] https://bugzilla.mozilla.org/show_bug.cgi?id=1216882 - related bug (see comment 9) ***/ // user_pref("security.nocertdb", true); // (hidden pref) /* 1222: enforce strict pinning - ** PKP (Public Key Pinning) 0=disabled 1=allow user MiTM (such as your antivirus), 2=strict + * PKP (Public Key Pinning) 0=disabled 1=allow user MiTM (such as your antivirus), 2=strict * [WARNING] If you rely on an AV (antivirus) to protect your web browsing * by inspecting ALL your web traffic, then leave at current default=1 * [1] https://trac.torproject.org/projects/tor/ticket/16206 ***/