Serverupdate

"Dem Betreiber" ist es heute erfolgreich gelungen, einen neuen Bug zu implementieren. Nachdem die erste Hälfte des mehrfach verschobenen rolling restart durchgelaufen war, soll heute Nacht eine verbesserte Serverversion auf die betroffenen Systeme eingespielt werden und die für morgen geplante (und bisher noch nicht verschobene) zweite Hälfte des rolling restart wie angekündigt installiert werden.