Maintenance of our server

Hi there,

Today, we will perform a scheduled restart of our server, to free up some resources on the server. This will hopefully increase performance on our service as well.

Our service will therefore be unavailable during a short period of time.

Start: 2019-08-02 09:00 UTC
End: 2019-08-02 09:05 UTC