[arch-mirrors] Decommissioning mirror.grig.io
hello at grig.io
hello at grig.io
Fri Jan 4 16:10:32 UTC 2019
Hi,
I will be retiring this server at the end of the month. Please remove
it from the mirror list.
Thanks!
More information about the arch-mirrors
mailing list