[tor-commits] [tor-android-service] branch master deleted (was 20738f8)