[tor-commits] [tor-launcher/master] Merge remote-tracking branch 'brade/bug11879-02'