Well, I couldn't find an upstream bug report so I took the liberty of reporting it myself (probably will turn out that they did report it just under a name the search couldn't find, but at least then I will know which bug report it is and a bug watch for it can be added here instead of this one if that is the case): https://bugzilla.gnome.org/show_bug.cgi?id=763258
** Bug watch added: GNOME Bug Tracker #763258 https://bugzilla.gnome.org/show_bug.cgi?id=763258 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1266992 Title: 'Top Bar -> Show Application Menu' - Incorrect action To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu-gnome/+bug/1266992/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
