On Sun, Nov 29, 2020 at 10:07 AM José Abílio Matos <jamatos(a)fc.up.pt> wrote:
On Sunday, November 29, 2020 3:20:34 PM WET Richard Shaw wrote:
> Never mind, it has been reported and "fixed" it just needs to propagate
to
> the builders I suppose.
I am also in that queue. :-)
Thank you for letting us know that the problem is fixed.
Well I HOPE it is fixed, the bug is closed...
https://bugzilla.redhat.com/1902449
Thanks,
Richard