Re: [arch-mirrors] Decommission of mirror.michael-eckert.net

On 15.06.2018 20:57, Michael Eckert wrote:

this was a tough decision but unfortunately I have to shutdown the mirror mirror.michael-eckert.net without a replacement.

I've removed the listing. Thank you! Florian