@ronj your gnome-settings-daemon was updated (3.8.5 -> 3.8.6.1) I just updated mine and restarted gnome-shell but my keyboard shortcuts are not working. I'll have to do a full reboot later but so far it did not work for me.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1242423 Title: Shell 3.10 from gnome3-next PPA causes system keyboard shortcuts to partially fail To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1242423/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs