Maintenance completed: Primary DNS resolver

Message-Id: 202107221821
Time: 22nd July 2021, 5 to 6 PM
Affected: Primary DNS gwdu01.gwdg.de (134.76.10.46)
Impact: No resolving of DNS requests by the primary DNS resolver for 1 min and no new DHCP leases.

The maintenance work has been successfully completed.