Re: [libvirt] [jenkins-ci PATCH] Stop building osinfo-db on CentOS 7