Commit db11dad6 authored by akwizgran's avatar akwizgran

Merge branch 'clean-tor-binaries' into 'master'

Delete Tor binaries when cleaning

See merge request !969
parents 69e73662 d29812a4
Pipeline #2643 passed with stage
in 10 minutes and 54 seconds