Re: [CentOS-devel] updating the official Docker image for CentOS