Processed: reassign 716705 to libpulse-mainloop-glib0, forcibly merging 712919 716705

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 716705 libpulse-mainloop-glib0
Bug #716705 [konsole] konsole: libpulse0 vesion 4 is not listed as a dependency for konsole.
Bug reassigned from package 'konsole' to 'libpulse-mainloop-glib0'.
No longer marked as found in versions konsole/4:4.8.4-3.
Ignoring request to alter fixed versions of bug #716705 to the same values previously set
> forcemerge 712919 716705
Bug #712919 [libpulse-mainloop-glib0] gnome-shell: error while loading shared libraries: libpulsecommon-4.0.so: cannot open shared object file: No such file or directory
Bug #716705 [libpulse-mainloop-glib0] konsole: libpulse0 vesion 4 is not listed as a dependency for konsole.
Marked as found in versions pulseaudio/3.0-1.
Added tag(s) sid and jessie.
Merged 712919 716705
> thanks
Stopping processing here.

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