Liebe Benutzer, Wegen Kernel-Updates müssen die folgenden Server neu gestartet werden: * instwww * instwiki1 * radius2 Die Updates werden am Montag, den 29. September, zwischen 12.00 und 13.00 Uhr ausgeführt. Die Störung wird voraussichtlich weniger als 10 Minuten dauern. Die Wartung findet um diese Zeit statt, um bei ausgreifenden Fehlern die Zuständigen erreichen zu können. Mit besten Grüßen, Venelin Petkov Mit freundlichen Grüßen Venelin Petkov