On Sun, Apr 5, 2020 at 7:40 AM Frederic Muller <[email protected]> wrote:
> Now should I file a bug for F31 or not?

There appears to be a bug already:
https://bugzilla.redhat.com/show_bug.cgi?id=1767800

Adding a comment there that you are still having the problem is
entirely appropriate.
-- 
Jerry James
http://www.jamezone.org/
_______________________________________________
users mailing list -- [email protected]
To unsubscribe send an email to [email protected]
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/[email protected]

Reply via email to