Processed: reassign 726556 to src:linux

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 726556 src:linux 3.13.5-1
Bug #726556 [pulseaudio] pulseaudio: mic is dead after suspend
Bug reassigned from package 'pulseaudio' to 'src:linux'.
No longer marked as found in versions pulseaudio/4.0-6.
Ignoring request to alter fixed versions of bug #726556 to the same values previously set
Bug #726556 [src:linux] pulseaudio: mic is dead after suspend
Marked as found in versions linux/3.13.5-1.
> thanks
Stopping processing here.

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