[CentOS-devel] CentOS 7 and release numbering