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