4 Jan
2019
4 Jan
'19
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