On Tue, Mar 19, 2013 at 10:12 AM, Colin Walters <[email protected]> wrote: > gnome-settings-daemon's media keys plugin was broken: > > https://bugzilla.gnome.org/show_bug.cgi?id=696114
This has been pushed, so no need for further approvals. (seems like an obvious bug-fix anyway) _______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
