gnome-globalmenu/gnome-globalmenu — pull request #4 by freexploit (2012-08-21 19:39:06+00:00)
Title: Updates for gnome 4 

two minor changes