After a few days since the major update release Cinnamon 1.3 desktop environment, here comes the new maintenance release Cinnamon 1.3.1 with several bug fixes and improvements to