Re: [Kimchi-devel] [PATCH] Update Fedora 20 ISO path to mirrors.kernel.org