philipphoffmann/gnome3-jenkins-indicator — pull request #56 by cesarizu (2013-11-13 18:38:15+00:00)
Title: Added support for Gnome 3.10

Added support for Gnome 3.10