[Pkg-virtualbox-devel] Processed: Re: Bug#703358: virtualbox-guest-dkms: vboxvideo_drm.c fails to compile after upgrade of linux-headers-3.2.0-4 from 3.2.35-2 to 3.2.39-2

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 703358 serious
Bug #703358 [virtualbox-guest-dkms] virtualbox-guest-dkms: vboxvideo_drm.c fails to compile after upgrade of linux-headers-3.2.0-4 from 3.2.35-2 to 3.2.39-2
Severity set to 'serious' from 'important'
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
703358: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=703358
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems