Re: [libvirt] [jenkins-ci PATCH 0/3] Drop CentOS 6, which makes some nice cleanups possible