erick2red/shell-extensions — pull request #4 by gfxmonk (2011-11-01 07:59:52+00:00)
Title: update for 3.2

Hi,

Not sure if you're still maintaining this, but I've pulled some changes and got it working in gnome-shell 3.2.

Cheers,
- Tim.