linuxmint/mintmenu — pull request #55 by hordepfo (2014-01-22 23:51:59+00:00)
Title: Several bugfixes for the mintmenu

Fixes several bugs and changes the way to interact with the mintmenu.