Bug#726625: gnome-shell: media-keys plugin not working; JS ERROR

Mon Aug 31 20:57:13 UTC 2015

Leo Antunes wrote (31 Aug 2015 16:13:48 GMT) :
> On Thu, 2015-08-27 at 21:20 +0200, intrigeri wrote:
>> Sorry we didn't get back to you earlier.
>> Can you reproduce this bug on Debian Jessie?

> Nope. I believe this was fixed with the upload of 3.14, but it might
> have happened before that.

Thanks!

> I should have closed the bug as soon as I noticed it started working
> again. My bad! :/

No problem, I know it's easy to lose track of a bug once filed.
That's one of the things that bug triaging is good for :)