[arch-mirrors] Decommissioning mirror.grig.io
4 Jan
2019
4 Jan
'19
9:10 a.m.
Hi, I will be retiring this server at the end of the month. Please remove it from the mirror list. Thanks!
4 Jan
4 Jan
12:20 p.m.
On Fri, Jan 04, 2019 at 10:10:32AM -0600, hello@grig.io wrote:
I will be retiring this server at the end of the month. Please remove it from the mirror list.
Thanks for the information. I've removed your mirror. Florian
2459
Age (days ago)
2459
Last active (days ago)
1 comments
2 participants
participants (2)
-
Florian Pritz
-
hello＠grig.io