[tor-commits] [sandboxed-tor-browser/master] Merge branch 'bug23943'