In verband met een update aan het besturingsysteem op s21 t/m s33, zullen we donderdag 6 oktober tussen 06:45 en 07:15 deze systemen rebooten. Gevolg hiervan is dat deze servers in dit tijdsbestek enkele minuten niet of verminderd bereikbaar zullen zijn.

Excuses voor het eventuele ongemak.