Wartung beendet: Wartung des Listservers

Meldungsnummer: 201902191748
Zeitraum: Donnerstag, 21.02.2019, 17:00 – 18:00 Uhr
Betroffen: GWDG-Listserver
Auswirkungen: GWDG-Listserver wieder verfügbar

Die Wartungsarbeiten am Listserver der GWDG konnten
erfolgreich abgeschlossen werden.
Der Dienst steht nun wieder uneingeschränkt zur Verfügung.