I meant a link saying that Cinnamon will be included in Fedora 18.