Resolved | Jun 01, 2020 | 15:14 GMT+02:00

Monday afternoon, between 15:14 and 15:33pm (CET), one of our proxy servers experienced a downtime.
After about the 20 minutes, the proxy restarted and is running as expected since then.

We understand that unscheduled downtime is, at the very least, inconvenient, and we're sorry this has happened.