[tor-commits] [tor-browser-bundle/master] Merge branch 'bug15747'