On Tuesday, July 30, 2019 3:35:50 PM CEST Pavel Raiskup wrote:
There will be an outage starting at:
$ date -d '2019-08-01 05:00 UTC'
And it's over. The queue is a little bit slow, we are working on that ... , but
it is not related to this outage.