ikalnitsky/gnome-shell-extension-icon-hider — pull request #11 by ai (2013-03-22 14:04:14+00:00)
Title: Add GNOME 3.8 support

Extension correctly work in GNOME 3.8, so I just update `shell-version` in `metadata.json`.