hermanus/gnome-shell-extensions — pull request #3 by Qalthos (2012-11-08 22:46:55+00:00)
Title: Update hotspot disabler to Gnome 3.6

I don't know if you keep up with this at all, but here's an update to the latest version of Gnome-shell.