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.