Hi,
my mirror is now HTTPS enabled. All these exist:
* https://tor.dev-random.de/ * https://tor.dev-random.de/dist/ * http://tor.dev-random.de/ * http://tor.dev-random.de/dist/
The server certificate is issued by CAcert (https://www.cacert.org/).
Please include the server in the mirror list.
Regards
Lutz
tor-mirrors@lists.torproject.org