[Pkg-virtualbox-devel] Processed: reassign 700516 to src:virtualbox, forcibly merging 691169 700516

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 700516 src:virtualbox
Bug #700516 [virtualbox-dkms] [virtualbox-dkms] building VBOX modules depends on IOMMU being enabled in the kernel config
Bug reassigned from package 'virtualbox-dkms' to 'src:virtualbox'.
No longer marked as found in versions virtualbox/4.1.18-dfsg-2.1.
Ignoring request to alter fixed versions of bug #700516 to the same values previously set
> forcemerge 691169 700516
Bug #691169 {Done: Daniel Baumann <daniel.baumann at progress-technologies.net>} [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #696011 {Done: Daniel Baumann <daniel.baumann at progress-technologies.net>} [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #696667 {Done: Daniel Baumann <daniel.baumann at progress-technologies.net>} [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #696953 {Done: Daniel Baumann <daniel.baumann at progress-technologies.net>} [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 'serious' from 'normal'
Marked Bug as done
Marked as fixed in versions virtualbox/4.1.18-dfsg-2.1.
Marked as found in versions virtualbox/4.1.18-dfsg-1.1.
Added tag(s) upstream, experimental, and patch.
Bug #696011 {Done: Daniel Baumann <daniel.baumann at progress-technologies.net>} [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #696667 {Done: Daniel Baumann <daniel.baumann at progress-technologies.net>} [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #696953 {Done: Daniel Baumann <daniel.baumann at progress-technologies.net>} [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Merged 691169 696011 696667 696953 700516
> 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