On Mon, 29 Aug 2016 16:15:34 +0200 Yves-Alexis Perez <cor...@debian.org> wrote: > I follow src:linux package on this, so I'll do the switch when they do it (and > will close this bug at that point).
It seems that src:linux was fixed https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=835957 -- Regards, Hideki Yamane
