Maintenance completed: Listserver listserv.gwdg.de

Message-Id: 202005051315
Time: Thursday, 7 May 2020, 5 p.m. until 7 p.m.
Affected: Users of Listserver
Impact: Limited access to listserv.gwdg.de

The listserver listserv.gwdg.de has been updated successfully.

It is now fully operational again.