Planned downtime for Jenkins master: Mon July 6, 8am CEST

Announcements
1

The Jenkins master server needs some maintenance (fans are not working properly anymore, and need to be physically replaced).

There will be about 30 minutes downtime, at Monday July 6, 8am CEST.