Re: [libvirt] [jenkins-ci PATCH] guests: Rename Ubuntu targets