bonzini/gnome-shell-permanent-notifications — pull request #3 by crobinso (2013-10-09 20:09:31+00:00)
Title: Support gnome-shell 3.10

This just adds 3.10 to the metadata list, seems to work fine here.

Additionally, move the repo content to a subdirectory similar to
how other shell extensions are organized.