Hello, the mirror "neuland.dietrich.cx" is also reachable at "tor.ybti.net" now. Can you change the hostname in the mirror list? I would like to retire the old hostname eventually. Thanks, Alexander -- PGP Key: https://dietrich.cx/pgp | 0x727A756DC55A356B Jabber: alexander@ffnord.net