Message-Id: 202005091044
Time: Saturday, 9 May 2020, 11am - 2pm
Affected: vpn.gwdg.de
Impact: No impact, according to experience and the manufacturer

The service “vpn.gwdg.de” has been updated successfully.

It is now fully operational again.