So Cinnamon 2.0 is out, and I've followed the steps people have given for upgrading.
sudo add-apt-repository ppa:gwendal-lebihan-dev/cinnamon-stable sudo apt-get update sudo apt-get dist-upgrade
This however doesn't work. It says I'm already on the newest version. I've tried doing this from a different DE, but that also didn't work. I don't appear to have any held packages in apt, so that's not the problem.
Do I need to uninstall Cinnamon and reinstall it? Is there something I'm missing?