Hi, please add my new mirror of www.tor-project.org to the list of mirrors. Available are: * http://tor.dev-random.de/ * http://tor.dev-random.de/dist/ Regards Lutz -- XMPP: tichodroma@jabber.ccc.de IRC: Tichodroma