Re: Deleting f20-gnome-3-12 copr