Re: [arch-mirrors] Server rename

On 10.10.2016 12:39, Sergey wrote:

Old names still works, but I prefer new one for distributing over mirrorlist /etc.

Thanks, I've updated our database. Florian