[tor-commits] [torbrowser/master] Merge branch 'bug4192' into maint-2.2