Processed (with 1 error): evading blacklist of shadbolt :-/
Processing commands for control@bugs.debian.org:
> reassign 815841 src:linux-tools 4.5~rc4-1~exp1
Bug #815841 [linux-headers-4.5.0-rc4-common] linux-headers-4.5.0-rc4-common: missing scripts/Makefile.ubsan causing dkms builds failures
Bug reassigned from package 'linux-headers-4.5.0-rc4-common' to 'src:linux-tools'.
No longer marked as found in versions linux/4.5~rc4-1~exp1.
Ignoring request to alter fixed versions of bug #815841 to the same values previously set
Bug #815841 [src:linux-tools] linux-headers-4.5.0-rc4-common: missing scripts/Makefile.ubsan causing dkms builds failures
The source 'linux-tools' and version '4.5~rc4-1~exp1' do not appear to match any binary packages
Marked as found in versions linux-tools/4.5~rc4-1~exp1.
> forcemerge 815593 815841
Bug #815593 [linux-kbuild-4.5] /usr/src/linux-headers-4.5.0-rc4-common/Makefile:791: scripts/Makefile.ubsan: No such file or directory
Unable to merge bugs because:
package of #815841 is 'src:linux-tools' not 'linux-kbuild-4.5'
Failed to forcibly merge 815593: Did not alter merged bugs.
> reassign 815850 src:linux
Bug #815850 [linux-image-armmp] missing symbolic link /boot/vmlinux
Bug reassigned from package 'linux-image-armmp' to 'src:linux'.
No longer marked as found in versions 3.16.0-4.
Ignoring request to alter fixed versions of bug #815850 to the same values previously set
> severity 815850 wishlist
Bug #815850 [src:linux] missing symbolic link /boot/vmlinux
Severity set to 'wishlist' from 'normal'
> reassign 815787 src:linux
Bug #815787 [linux-image-4.4.0-1-amd64] pulseaudio: sound card no longer working
Bug reassigned from package 'linux-image-4.4.0-1-amd64' to 'src:linux'.
Ignoring request to alter found versions of bug #815787 to the same values previously set
Ignoring request to alter fixed versions of bug #815787 to the same values previously set
> forcemerge 814855 815787
Bug #814855 [src:linux] linux-image-4.4.0-trunk-amd64: Please restore snd-emu10k1 module
Bug #814855 [src:linux] linux-image-4.4.0-trunk-amd64: Please restore snd-emu10k1 module
Added tag(s) moreinfo.
Bug #815787 [src:linux] pulseaudio: sound card no longer working
Severity set to 'normal' from 'important'
Marked as found in versions linux/4.4.1-1~exp1 and linux/4.4.2-2.
Added tag(s) wontfix.
Merged 814855 815787
>
End of message, stopping processing here.
Please contact me if you need assistance.
--
814855: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=814855
815593: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815593
815787: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815787
815841: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815841
815850: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815850
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: