[Pkg-virtualbox-devel] Processed: unmerging 868290, reassign 868290 to virtualbox-dkms, found 868290 in 5.1.22-dfsg-3 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> unmerge 868290
Bug #868290 {Done: Niels Thykier <niels at thykier.net>} [debhelper] [virtualbox-dkms] Fails to build kernel module. File hm_vmx.h not found
Bug #868169 {Done: Niels Thykier <niels at thykier.net>} [debhelper] virtualbox-dkms: Fail to build (kernel 4.1.42)
Bug #868239 {Done: Niels Thykier <niels at thykier.net>} [debhelper] virtualbox-dkms: Error building initial module for 4.9.0-3-amd64 kernel.
Bug #868282 {Done: Niels Thykier <niels at thykier.net>} [debhelper] virtualbox-dkms: kernel modules fail to build due to missing files
Disconnected #868290 from all other report(s).
> reassign 868290 virtualbox-dkms
Bug #868290 {Done: Niels Thykier <niels at thykier.net>} [debhelper] [virtualbox-dkms] Fails to build kernel module. File hm_vmx.h not found
Bug reassigned from package 'debhelper' to 'virtualbox-dkms'.
No longer marked as found in versions debhelper/10.6.3.
No longer marked as fixed in versions debhelper/10.6.4.
> found 868290 5.1.22-dfsg-3
Bug #868290 {Done: Niels Thykier <niels at thykier.net>} [virtualbox-dkms] [virtualbox-dkms] Fails to build kernel module. File hm_vmx.h not found
Marked as found in versions virtualbox/5.1.22-dfsg-3 and reopened.
> retitle 868290 virtualbox-dkms: Needs rebuild against debhelper/10.6.4 (missing files)
Bug #868290 [virtualbox-dkms] [virtualbox-dkms] Fails to build kernel module. File hm_vmx.h not found
Changed Bug title to 'virtualbox-dkms: Needs rebuild against debhelper/10.6.4 (missing files)' from '[virtualbox-dkms] Fails to build kernel module. File hm_vmx.h not found'.
> severity 868290 grave
Bug #868290 [virtualbox-dkms] virtualbox-dkms: Needs rebuild against debhelper/10.6.4 (missing files)
Ignoring request to change severity of Bug 868290 to the same value.
> thanks
Stopping processing here.

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