Vanavond zal een reboot plaatsvinden van de webservers web0131, web0132 en web0133.
Tijdens het rebooten van de server zullen de services enkele minuten onbereikbaar zijn.
De reboot is nodig voor een kernel update die we hebben uitgevoerd vanwege een belangrijke bugfix.
