Maintenance work on server
Friday night, 2020-09-11, host faui02 will be rebootet. The following services will be briefly unavailable between 22:00 and 24:00.
-- Michael Gebhard