Processed: Re: Bug#815787: May be a kernel problem not a pulseaudio one?

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 linux-image-4.4.0-1-amd64
Bug #815787 [pulseaudio] pulseaudio: sound card no longer working
Bug reassigned from package 'pulseaudio' to 'linux-image-4.4.0-1-amd64'.
No longer marked as found in versions pulseaudio/8.0-1.
Ignoring request to alter fixed versions of bug #815787 to the same values previously set

-- 
815787: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815787
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems