Scheduled downtime of clusters TinyFat and TinyGPU on May 07
There will be scheduled downtime of our Tier-3-clusters TinyGPU and TinyFat, including the frontend `tinyx` and special machines like `memoryhog`, starting on
Wednesday, May 7 at 09:00
and lasting at least the whole day.
Reason for the downtime is an OS update.