Cinnamon 1.3 rilasciato Nuovo minor update per Cinnamon, il fork di Gnome Shell frutto della mente creativa di…