[gnome-extra/cinnamon-desktop] version bump