Cinnamon 1.3 is out! This is another major update for Cinnamon. Reproducible: Always
cinnamon-1.3.1 is now in portage. >*cinnamon-1.3.1 (21 Feb 2012) > > 21 Feb 2012; Alexandre Rostovtsev <tetromino@gentoo.org> > +cinnamon-1.3.1.ebuild, +files/cinnamon-1.3.1-optional-networkmanager.patch: > Major version bump, see http://cinnamon.linuxmint.com/?p=163 for the release > notes.