I'm closing this bug since this bug only affects ricotz' testing PPA, not an official Ubuntu package or the GNOME3 PPA. You're welcome to contact ricotz about this bug if he's not aware of it yet.
** Changed in: gnome-shell (Ubuntu) Status: Incomplete => Invalid -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/893514 Title: "Launch Terminal" and some other keyboard shortcuts not working To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/893514/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs