Behoben: Ausfall gwdg-print3.gwdg.de

[sc name=“head_betriebsmeldungen_de“ meldungsnummer=“202012011321″ zeitraum=“30. November 2020, ca. 10:00″ betroffen=“Alle Nutzer*innen von gwdg-print3″ auswirkungen=“Drucken über gwdg-print3 wieder möglich“ ] Das Drucken über gwdg-print3 ist wieder möglich.