zacbarton/gnome-shell-extension-hide-dash — pull request #4 by rrthomas (2013-05-13 00:22:43+00:00)
Title: Fix for 3.8

This adds 3.8 support, fixing issue #3. Note that this new version only works on 3.8, but that's OK, because older versions on extensions.gnome.org still support older versions of GNOME, and multiple versions can be hosted on gnome.org simultaneously.