linuxmint/Cinnamon — pull request #1251 by rjanja (2012-10-04 17:11:56+00:00)
Title: Rely on app menu button's onDestroy() to delete the right-click menu (fi...

...xes linuxmint/Cinnamon#1147)