[Pkg-dkms-maint] Processed: Re: Bug#762061: virtualbox-dkms fails to build on standard 3.14.15 kernel

[Debian Bug Tracking System]

Processing control commands:

> severity -1 normal
Bug #762061 [dkms] dkms should pull in the correct linux-headers package
Severity set to 'normal' from 'grave'

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