[Pkg-virtualbox-devel] Processed: Re: not really fixed

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 691169 important
Bug #691169 [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #696011 [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #696667 [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #696953 [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #700516 [src:virtualbox] [virtualbox-dkms] building VBOX modules depends on IOMMU being enabled in the kernel config
Severity set to 'important' from 'serious'
Severity set to 'important' from 'serious'
Severity set to 'important' from 'serious'
Severity set to 'important' from 'serious'
Severity set to 'important' from 'serious'
> thanks
Stopping processing here.

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