MrTheodor/gnome-shell-ext-icon-manager — pull request #6 by llaumgui (2012-04-29 07:15:38+00:00)
Title: Update to GNOME 3.4

Hi,

This is update for 3.4 (and 3.3).

Thx