Smotko/gnome-shell-extension-workspaceNavigator — pull request #8 by fallingduck (2014-12-29 16:56:41+00:00)
Title: Gnome shell 3.10 and 3.12 support

I can't live without it, so I manually added to `metadata.json`