[tor-commits] [tor-browser-build/master] Merge branch 'bug_25000'