I am looking at this page:
and kernel 3.2.12-1 in sid and wheezy is marked as vulnerable. However
the fix for this bug is here:
and I checked in the Debian source package that this fix is present in
So could somebody please mark this bug as fixed in sid+wheezy?
Laurent Bonnaud <Laurent.Bonnaud@inpg.fr>