[completed] Server maintenance - June 8th 11:30 CEST


#1

We have to do some security updates for the servers today.
This will lead to some server reboots and downtime.
Sorry for the inconvenience.

The maintenance will start at 11:30 CEST.
We don’t know yet how long it will take.


#2

The maintenance has been completed.
There shouldn’t be any more reboots.