linuxmint/mintmenu — pull request #71 by VitalD (2014-02-18 14:33:23+00:00)
Title: Update easybuttons.py

Solving for bug: https://bugs.launchpad.net/linuxmint/+bug/1266751