erick2red/shell-extensions — pull request #3 by gfxmonk (2011-11-01 07:48:03+00:00)
Title: updated 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.

not sure about the merge metadata (you can probably just use the diff), I tried to do a merge with the actual gnome-extensions repo but it got pretty mad.

Cheers,
- Tim.