eonpatapon/gnome-shell-extensions-mediaplayer — pull request #72 by phiamo (2012-05-27 19:49:26+00:00)
Title: Added gnome shell 3.4.1 to metadata

Works wonderful with my ubuntu 12.04 and gnome shell 3.4.1