[tor-commits] [tor-browser] 06/06: fixup! Bug 40562: Added Tor-related preferences to 000-tor-browser.js