Processed: Cause & fix established

Debian Bug Tracking System owner at bugs.debian.org
Fri Jul 27 11:39:10 UTC 2012


Processing commands for control at bugs.debian.org:

> severity 678250 serious
Bug #678250 [gnome-settings-daemon] gnome-settings-daemon: media keys totally non-functional
Severity set to 'serious' from 'important'
> tags 678250 + upstream patch
Bug #678250 [gnome-settings-daemon] gnome-settings-daemon: media keys totally non-functional
Added tag(s) upstream and patch.
> thanks
Stopping processing here.

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



More information about the pkg-gnome-maintainers mailing list