On Mon, Dec 07, 2015 at 08:57:01PM +0100, Zdenek Sedlak wrote: > AFAIK, the 7(1503) format is used only on the websites, and internally > CentOS uses 7.1.1503. Do you see this as an issue? Yes. It confuses humans. There have been a bunch of examples given of how it confuses humans. A simple fix for this human issue is to use 7.1.1503 on the website, here on the mailing list, etc. -- greg