gnome-settings-daemon's media keys plugin was broken: https://bugzilla.gnome.org/show_bug.cgi?id=696114
_______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
