Mint 17 opdatering løser problem med Cinnamon menu

Nyeste Cinnamon opdatering løser problemet med konfiguration af Cinnamon menuen. Man er ikke længere nødt til at slette mappen menus i ~/.config hvis Cinnamon ikke længere viser menu punkter efter editering.