grossetti/Gnome-Shell-Extensions — pull request #7 by UnsolvedCypher (2013-05-01 22:53:13+00:00)
Title: Update metadata.json

Updated metadata to support 3.8, I and others have tested and this works. See issues page for thread with people who have tested.