Merge pull request #2741 from karlp/tor-urls
authorHauke Mehrtens <hauke@hauke-m.de>
Sat, 28 May 2016 15:28:07 +0000 (17:28 +0200)
committerHauke Mehrtens <hauke@hauke-m.de>
Sat, 28 May 2016 15:28:07 +0000 (17:28 +0200)
tor: correct URL for dist downloads


Trivial merge