6 Aug
2018
6 Aug
'18
7:34 p.m.
On 19 Jul 2018, at 00:51, Andy Smith <andy(a)bitfolk.com> wrote:
On Sun, Jul 15, 2018 at 09:22:16PM +0000, Andy Smith
wrote:
It’s just been released as an update. Installed and confirmed working.
Cheers,
Mike
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
<https://lists.debian.org/debian-kernel/2018/07/msg00249.html>