On Sun, Nov 29, 2020 at 10:07 AM José Abílio Matos <jamatos@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