/proj: Wartungsarbeiten heute ab 22:00 Uhr
Heute, 2016-06-29 werden ab 22:00 Wartungsarbeiten an /proj durchgeführt. Alle andere Dienste sollten verfügbar bleiben.
Wir gehen davon aus, dass die Arbeiten morgen gegen 6:00 Uhr frühs beendet sein werden.
-- Simon Ruderich