[tor-commits] [orbot/master] re-enable DNS settings after you start Tor