Re: Considering GNOME 3.12 as an F20 update