windsorschmidt/disable-workspace-switcher-popup — pull request #2 by saaros (2013-10-07 20:15:52+00:00)
Title: Add 3.10 to supported shell versions

Gnome 3.10 added workspace switcher popup to 'switch-to-workspace-n'
keyboard shortcuts.