The first Cinnamon version was released back in December and until March , the GNOME Shell fork used by default in Linux Mint 13 (Cinnamon edition) has seen many new versions, but there have not been any new releases since then. In case you were wondering, the development continues and the next Cinnamon version should come with some very cool improvements.