This problem has been resolved.
The following services were impacted from 2019/12/18 18:49 UTC until 2019/12/19 14:40 UTC.
Customer traffic was not impacted during this time.
All services have been restored.
Please let firstname.lastname@example.org
know if you continue to experience problems with this.
A post-mortem will be published in the next few days.