windsorschmidt/disable-workspace-switcher-popup — pull request #7 by kfogel (2014-10-12 03:58:39+00:00)
Title: Support GNOME 3.13 and 3.14 too.

I'm using this change in my GNOME 3.14 shell on Debian GNU/Linux right now, and it seems to work fine. Apparently no code changes are necessary to support 3.14; we just needed `metadata.json` to declare support explicitly.