Processing commands for [email protected]: > 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 [email protected] with problems
