Shutdown tier 2 server mirror.erickochen.nl

[Eric Kochen]

Hi everyone,

The tier 2 'mirror.erickochen.nl' will shutdown this week.

It was a pleasure.

Best,

Eric Kochen