On 5/16/17 22:37, Tom Lane wrote: > BTW, I now remember having wondered[2] if we should make any other changes > in version-number formatting while we're at it, like maybe "10beta1" > should be "10.beta1".
That's not a naming format I've ever seen.
I think the current format is fine.
+1. I have also never seen that one, and think the current one is good.