eonpatapon/gnome-shell-extensions-mediaplayer — pull request #115 by rat4 (2013-01-07 11:12:23+00:00)
Title: Add workaround for pragha

Issue #111