[tor-mirrors] [CHANGE/ADD] tor.dev-random.de

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