[tor-commits] [torbutton/master] Bug 13138: ESR31-about:tor shows "Tor is not working"