[arch-mirrors] Decommissioning mirror.grig.io
4 Jan
2019
4 Jan
'19
4:10 p.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
7: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
2178
Age (days ago)
2178
Last active (days ago)
1 comments
2 participants
participants (2)
-
Florian Pritz
-
hello＠grig.io