Re: [CentOS-devel] registry.centos.org/centos:latest still points to CentOS-7