Merge pull request #13755 from r-salvaterra/tor
authorRosen Penev <redacted>
Sun, 1 Nov 2020 21:53:12 +0000 (13:53 -0800)
committerGitHub <redacted>
Sun, 1 Nov 2020 21:53:12 +0000 (13:53 -0800)
Tor: a couple of updates


Trivial merge
git clone https://git.99rst.org/PROJECT