ircbox, cipterm0 Wartungsarbeiten
Am 3. August werden die ircbox und cipterm0 rebootet. Beide sind zwischen 10pm-12pm kurzzeitig nicht verfügbar.
-- Michael Gebhard