Processed: found 759810 in pulseaudio/4.0-6

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 759810 pulseaudio/4.0-6
Bug #759810 [pulseaudio] Failed to open cookie file
Marked as found in versions pulseaudio/4.0-6.
> thanks
Stopping processing here.

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