Processed (with 1 error): reassign 943545 to src:linux, forcibly merging 942803 943545

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 943545 src:linux 5.3.7-1
Bug #943545 [pulseaudio] pulseaudio: audio completely broken
Bug reassigned from package 'pulseaudio' to 'src:linux'.
No longer marked as found in versions pulseaudio/13.0-3.
Ignoring request to alter fixed versions of bug #943545 to the same values previously set
Bug #943545 [src:linux] pulseaudio: audio completely broken
Marked as found in versions linux/5.3.7-1.
> forcemerge 942803 943545
Bug #942803 [linux-image-5.3.0-1-amd64] linux-image-5.3.0-1-amd64: No Sound with linux-image-5.3.0-1-amd64
Bug #942823 [linux-image-5.3.0-1-amd64] linux-image-5.3.0-1-amd64: Dell XPS 13 gets stuck on sddm login screen at boot
Bug #942835 [linux-image-5.3.0-1-amd64] linux-image-5.3.0-1-amd64: Audio not working
Bug #942836 [linux-image-5.3.0-1-amd64] snd_hda_intel: No response from codec, resetting bus
Bug #942881 [linux-image-5.3.0-1-amd64] snd-hda-codec-hdmi signature corruption
Bug #942886 [linux-image-5.3.0-1-amd64] linux-image-5.3.0-1-amd64: Can not modprobe "snd_hda_codec_hdmi"
Bug #943355 [linux-image-5.3.0-1-amd64] audio broken
Bug #943422 [linux-image-5.3.0-1-amd64] linux: 5.3.7 breaks soundcard
Unable to merge bugs because:
package of #943545 is 'src:linux' not 'linux-image-5.3.0-1-amd64'
Failed to forcibly merge 942803: Did not alter merged bugs.

> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
942803: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=942803
942823: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=942823
942835: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=942835
942836: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=942836
942881: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=942881
942886: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=942886
943355: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=943355
943422: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=943422
943545: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=943545
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems