Door een fout tijdens het omzetten van een node, is node 1 (pmc1) op het PMC cluster kortstondig offline geweest. Inmiddels zijn alle services weer online. Door de tijdelijke uitschakeling van het automatisch overzetten is dit niet door het cluster zelf opgepakt waardoor de servers gereboot werden. Onze excuses voor het ongemak. We hebben onze documentatie hierop aangepast, waardoor dit niet nogmaals mag voorkomen in de toekomst. Onze excuses voor het ongemak.
