Bug 41460: Migrate preferences to the name we will user for 12.0. (!454) · Merge requests · The Tor Project / Applications / Tor Browser · GitLab

Pier Angelo Vendrame requested to merge pierov/tor-browser:bug_41460_11.5 into tor-browser-91.13.0esr-11.5-1 Nov 17, 2022

Part of #41460 (closed).

Needs torbutton!113 (merged).