GNOME 3.12 is due to be released in March, but as I understood there won't be another Fedora release before August. So what's the plan? Are we going to skip GNOME 3.12 entirely? I would much rather if we could (for a lack of a better term) ignore the fedora package update guidelines and provide 3.12 for F20 when it's released.