Resolved | Dec 30, 2019 | 08:00 GMT+01:00
Monday night, between 3am and 8am (CET), one of our webservers experienced a downtime, due to our hosting provider restarting the server machine.
After this, the server restarted normally and all services are running as they should.
We understand that unscheduled downtime is, at the very least, inconvenient, and we're sorry this has happened. Our quest to find an even more reliable hosting provider is ongoing.