hi, thanks for your reply.
unfortunately, in this case, it was pretty difficult for me to determine which 
package is actually responsible - seeing as it probably isn't any of the 
mentioned players' fault. The "FindRightPackage" page was not very helpful. I 
actually went to great trouble reporting without a package (you guys did your 
homework and made that really difficult).

what should i do if i encounter an "in-between" bug like this one in the
future?

-- 
GNOME media players stealing media keys from each other
https://bugs.launchpad.net/bugs/580220
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to