mpdeimos/gnome-shell-remove-dropdown-arrows — pull request #2 by evfool (2014-10-04 18:42:14+00:00)
Title: Shell 3.14 support

Adding 3.14 as supported version, as this change is enough to make the extension work with 3.14.