!

Deze website is verhuisd

Documentatie op deze website is mogelijk verouderd en nog tijdelijk beschikbaar.

Ga naar nieuwe website ➜

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.