Galaxy Europe downtime: ongoing maintenance work Tue, May 12

Due to an ongoing hardware upgrade there are currently service interruptions on usegalaxy.eu.

We expect this work to take a few hours and estimate to be back to normal operation by around 20:00.