May 26, 2018
This package is a replacemenent of gnome-menus for the cinnamon project.
WWW https//github.com/linuxmint/cinnamon-menus