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


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.


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