The latest news indicates that the bug has been fixed upstream pretty
recently. The fix is in this commit:
commit 98e5a25b3c32c9915357968a78783c1ac21c7130
Author: Jonathan Matthew <jonat...@d14n.org>
Date: Sun Oct 28 14:02:53 2012 +1000
shell-player: clear playlist parser cancellable when pausing
Also the relevant bug is the following one (mine turned out to be a
duplicate).
https://bugzilla.gnome.org/show_bug.cgi?id=663440
So the fix should be arriving to Debian when moving to the new upstream
version (or earlier if you decide to cherry-pickable, assuming it's
doable).
--
Francois Gouget <fgou...@free.fr> http://fgouget.free.fr/
A black hole is just God dividing by zero.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
