Meldungsnummer: 202006221317
Zeitraum: Donnerstag 25.06.2020 17:00-19:00
Betroffen: Nutzer*innen des Galaxy-Servers
Auswirkungen: Server nicht verfügbar

Der Galaxy-Server wird auf Version v20.01 geupdated und steht daher im genannten Zeitraum nicht zur Verfügung. Laufende Jobs werden dadurch unterbrochen und müssen neu gestartet werden.