Re: [libvirt PATCH 1/2] ci: Drop Debian 9 jobs