Version 1.2 of Cinnamon, the Linux Mint project’s fork of the GNOME Shell, has been released and the APIs and desktop interface have been declared fully stable