Gezien aanhoudende problemen op web0130 zullen we de kernel van de server updaten. Hiervoor is een reboot van de server vereist. De gehele downtime zal maximaal 15 minuten duren.
Geen incidenten gemeld
