Message-Id: 201902271015
Time: 07.03.2019, 6 pm – 6.40 pm
Affected: Primary name server and DHCP server: gwdu01.gwdg.de, 134.76.10.46
Impact: none

The maintenance of the name server “gwdu01” has been successfully completed.