Cinnamon proposed to replace GNOME Shell as default DE on Fedora 19

It was lobbying by the GNOME devs that made GNOME 3 the default on Fedora, but now it seems that somebody has had enough. That somebody has proposed making the Cinnamon the default desktop environment on Fedora 19.

I don’t blame him.