Galaxy Europe maintenance - downtime on April 9

Galaxy Europe is currently offline due to the ongoing maintenance work.

The web interface should be back later today, but jobs will only resume running when all maintenance is finished.