5 Apr
2020
5 Apr
'20
10:47 a.m.
On Sun, Apr 5, 2020 at 7:40 AM Frederic Muller fred@cm17.com 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/