eddiefullmetal/gnome-shell-extensions — pull request #14 by benklett (2012-12-10 18:06:58+00:00)
Title: Update panelSettings@eddiefullmetal.gr/metadata.json for Gnome 3.6.2

I don't now whether it's needed or not.