gemeld door Arjan op 2-07-2015, 16:01
begindatum: 16-07-2015
begintijd: 16:00, duur:

Vandaag om 16:00 is de shell server vervangen.

Klanten die gebruik maken van deze dienst kunnen een melding krijgen
van hun SSH-client dat het IP adres van de server is gewijzigd.
Bestaande sessies en actieve processen worden niet overgenomen naar de
nieuwe omgeving.