Onderhoud - server herstart 23:25 - afgerond

Gepubliceerd op 18 May 2020

23:57

Het onderhoud heeft iets langer geduurd dan gepland, maar is tenslotte succesvol afgerond. Alle systemen functioneren weer naar behoren.

Oorspronkelijk bericht

Vanavond maandag 18 mei 2020 om 23:25 plegen we kort onderhoud. Het betreft een server herstart. Verwachte duur van het onderhoud is 15 minuten.