zzrough/gs-extensions-drop-down-terminal — pull request #68 by jbladen (2014-03-13 11:51:50+00:00)
Title: Support gnome-shell 3.11.9

There are some minor changes to the XML and the metadata, but nothing major. Tested working under shell 3.11.9, but not with lower versions (may break them, I don't know).