cinnamon likely to be axed?

Did anyone notice that cinnamon and gnome 3.8 are incompatible in Rawhide?
I have been trying to use cinnamon for 2 weeks and the broken packages cannot be in fedora for this long in Fedora repos, IMHO. Archlinux is going to drop cinnamon and so does manjaro.
I ' m not sure what will come for Fedora since the cinnamon devs are not keeping up with pace of gnome 3.8.