Re: [libvirt] [jenkins-ci PATCH] jenkins: Don't build on CentOS 8 just yet