[tor-commits] [tor-launcher] branch master deleted (was fe8022d)