Störung behoben: HedgeDoc/Pad

[sc name=“head_betriebsmeldungen_de“ meldungsnummer=“202104201400″ zeitraum=“20.04.2021 bis 15:30 Uhr“ betroffen=“Nutzer des HedgeDoc/Pad“ auswirkungen=“HedgeDoc/Pad wieder verfügbar“ ]

Das Problem ist behoben und der Dienst HedgeDoc/Pad (https://pad.gwdg.de) steht
wieder zur Verfügung.