Thanks for checking in on this. On 12/14/19 3:59 AM, andreimpope...@gmail.com wrote: > In the meantime unstable has 5.3.17, you should check if maybe this was > fixed. >
I moved to Linux 5.4 (trunk, 5.4.2), and the problem is resolved there. I'm not sure the correct way to close this bug report given that version is still in experimental. Antonio
