Status of submit server?

[Andrew Dinn]

On 20/08/2019 13:48, Andrew Dinn wrote:
> Hmm, I wonder if something has inadvertently been changed. In case it
> helps, I did receive a notification for a push I made last week (change
> set was posted 19th August).

Oops, wrong date. Make that ~12th August!

> Thanks for the follow-up.
regards,


Andrew Dinn
-----------
Senior Principal Software Engineer
Red Hat UK Ltd
Registered in England and Wales under Company Registration No. 03798903
Directors: Michael Cunningham, Michael ("Mike") O'Neill, Eric Shander