[tor-commits] [torbrowser/master] Fix for 4192.