Maintenance: Update Galaxy server on 25.06.2020

Message-Id: 202006221317
Time: Thursday 25.06.2020 17:00-19:00
Affected: Users of the Galaxy server
Impact: Server not available.

The Galaxy server will be updated to version v20.01 and will not be available in the period mentioned above. Running Jobs will be interrupted and have to be restarted.