On Sun, Jul 15, 2018 at 09:22:16PM +0000, Andy Smith wrote:
Hopefully there'll be another stable kernel
release soon.
Looks like a kernel package update with the fix just hit
proposed-updates so I expect the next kernel package update in
stable will have it:
https://lists.debian.org/debian-kernel/2018/07/msg00249.html
Cheers,
Andy
--
https://bitfolk.com/ -- No-nonsense VPS hosting