Re: [libvirt] [jenkins-ci PATCH 6/7] Update osinfo-db-tools' archive_format