Message-Id: 201811191320
Time: 22.11. at 04:55 PM - 23.11.
Affected: all users of both services
Impact: Server not available
All computers and servers are available again except Galaxy and R studio server. We will do our best to put them back into operation as soon as possible.
Please take our apologize for any inconvenience.
—————————————————————————————————————