Smotko/gnome-shell-extension-workspaceNavigator — pull request #4 by millere (2013-04-24 15:56:56+00:00)
Title: Added 3.8 to supported shell versions

Tested on Gnome 3.8