On Sun, Nov 29, 2020 at 10:07 AM José Abílio Matos <jama...@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
_______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
