vdepizzol/gnome-shell-extension-overlay-icons — pull request #5 by klausi (2012-04-30 17:28:01+00:00)
Title: GNOME 3.4 compatibility

This is necessary for the extension to work in Ubuntu 12.04.