Emergency maintenance work

Ended May 19, 2020 10:51 PM CEST

Resolved May 19, 2020 10:51 PM CEST

Fix implemented successfully

Began May 19, 2020 10:00 PM CEST

Maintenance Planned May 19, 2020 10:00 PM–10:51 PM CEST

This is an emergency maintenance to fix notification emails issue, with no downtime, may be small service degradation.