Processing commands for cont...@bugs.debian.org:
> close 875881 4.9.30-2+deb9u4
Bug #875881 {Done: Ben Hutchings <b...@decadent.org.uk>} [src:linux] linux:
CVE-2017-1000251
The source 'linux' and version '4.9.30-2+deb9u4' do not appear to match any
binary packages
Marked as fixed in versions linux/4.9.30-2+deb9u4.
Bug #875881 {Done: Ben Hutchings <b...@decadent.org.uk>} [src:linux] linux:
CVE-2017-1000251
Bug 875881 is already marked as done; not doing anything.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
875881: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=875881
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
