Re: [arch-mirrors] Shutdown of server mirror.armbrust.me and setting up a new mirror mirror.fi.armbrust.me