matiasdelellis/pragha — pull request #15 by rat4 (2012-03-31 10:24:38+00:00)
Title: Gnome media keys

As an alternative to keybinder for systems without it