> On Jan 26, 2023, at 5:42 AM, Holger Jakobs <holger(at)jakobs(dot)com> wrote:> > This has been reported on RedHat platforms.
Happened to me on Ubuntu--I think it's Linux in general.