gfxmonk/gnome-shell-scroll-workspaces — pull request #3 by Anthony25 (2014-03-30 19:02:18+00:00)
Title: Gnome 3.12 compatible

Hello,
I have tested your extension on gnome 3.12 on ArchLinux and it is running well.