/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