On Tue, Apr 28, 2020 at 5:09 AM Matej Novotny <manovotn(a)redhat.com> wrote:
Martin poked around this some more and found some interesting bits.
If you want to uncover why it is like this, take a look at:
Oh, that's really funny; I remember being bitten by this bug a long time
ago. Thanks for the extra info.