Bruno Haible Sun, 01 Mar 2020 15:08:12 -0800
> I presume the attached avoids the kernel bug. Yes, with this patch the test succeeds (10 out of 10 times).
Bruno