17 Sep
2019
17 Sep
'19
10:50
Peter Suetterlin wrote:
So that sounds like a bug then.
FWIW, I've now opened a report, https://bugzilla.opensuse.org/show_bug.cgi?id=1151044 -- To unsubscribe, e-mail: opensuse-support+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-support+owner@opensuse.org