Commit 84584d4d authored by Torsten Grote's avatar Torsten Grote

Merge branch 'tor-0.3.5.10' into 'master'

Upgrade Tor to version 0.3.5.10

Closes #1714

See merge request !1241
parents 9eee5865 17239810
Pipeline #4256 passed with stage
in 10 minutes and 28 seconds