[Pkg-dkms-maint] Processed: Re: Bug#843113: better missing kernel headers message

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 dkms
Bug #843113 [src:linux] better missing kernel headers message
Bug reassigned from package 'src:linux' to 'dkms'.
No longer marked as found in versions linux/4.8.5-1.
Ignoring request to alter fixed versions of bug #843113 to the same values previously set

-- 
843113: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=843113
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems