Behoben: Drucknetzwerk_GWDG am 30.06.2018

Meldungsnummer: 201806301258
Zeitraum: 30.06.2018, 12:00 Uhr
Betroffen: GWDG_Drucker
Auswirkungen: Ausdrucken wieder möglich

Das Drucken im GWDG-Print Netzwerk ist nun wieder möglich.