Hi,
Package: src:linux Version: 4.19.67-2+deb10u2[...]This version is 10 months old; please upgrade and try again as the bug may have been fixed already.
OK, I will, but I do not know how to properly upgrade the kernel on a Debain-stable system (which is up-to-date with respect to "apt upgrade"). Could you enlighten me and say which kernel version I should try?
Regards, Sébastien.
