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