Op dit moment voeren technici urgente (kernel) updates uit op verschillende hardware nodes. Dergelijke updates zijn absoluut noodzakelijk om uw serveromgevingen veilig te houden.

Als gevolg hiervan moeten bepaalde hardware nodes gereboot worden. Door de reboot kunnen bepaalde servers (en onderliggende diensten) tijdelijk niet bereikbaar zijn.
De downtime ligt doorgaans tussen 4 en 12 minuten. Excuses voor het mogelijk ongemak in deze.

Update (06:06): inmiddels zijn alle noodzakelijk hardware nodes voorzien van de nodige updates en hiermee zijn de werkzaamheden afgerond.