On Tue, 2017-02-28 at 20:12 +0100, Andreas Beckmann wrote: > On 2017-02-28 14:55, Luca Boccassi wrote: > >> Then, isn't this a kernel bug? I mean, the ABI has changed, so that > >> the number should have changed to 4.9.0-3 instead of remaining at > >> 4.9.0-2. > > > > It's within the kernel team prerogatives to decide what ABI to keep > > stable and what not. > > I assume that no free software kernel module was impacted, so it was > > decided not to bump the ABI version. > > We cannot expect the kernel team to do additional work to specifically > > support proprietary modules. > > Are the kernel maintainers aware of this abi break? > > > Andreas
Yes: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=856382 -- Kind regards, Luca Boccassi
signature.asc
Description: This is a digitally signed message part
