On Wed, May 17, 2017 at 2:41 PM, Peter Eisentraut <
> On 5/16/17 22:37, Tom Lane wrote:
> > BTW, I now remember having wondered if we should make any other
> > 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.
Me: https://www.hagander.net/ <http://www.hagander.net/>
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>