Downtime on 2014-06-21 around 11:00
Tomorrow, Saturday, July 21st there will be a planned downtime of one of our
file servers for about one hour, starting at 11:00. The /local
directory tree
and dhcp/primary dns services will be unavailable during this time.
UPDATE: The maintenance period is over
-- Johannes Schilling