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

[Debian Bug Tracking System]

Processing control commands:

> tag -1 + moreinfo
Bug #726625 [gnome-shell] gnome-shell: media-keys plugin not working; JS ERROR
Added tag(s) moreinfo.

-- 
726625: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=726625
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems