Re: [Ci-users] stuck devdoc build on ci.centos