Hi, On Fri, May 3, 2019 at 2:14 PM Salvatore Bonaccorso <carnil@debian.org> wrote: > Not yet decided, and might need imput from stable release managers as > well, but the issue might be worth fixing before a next point release > already via stretch-updates and a SUA. Agreed. > I have already cherry-picked the commit in the stretch branch in the > kernel-team packaging repo at [1]. Thanks!