On Fri, Feb 14, 2020 at 7:19 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > > Andrew Dunstan <andrew.duns...@2ndquadrant.com> writes: > > I also object because 20 is *my* unlucky number ... > > Not sure how serious Andrew is being here, but it does open up an > important point: there are varying opinions on which numbers are unlucky. > The idea that 13 is unlucky is Western, and maybe even only common in > English-speaking countries. In Asia, numbers containing the digit 4 > are considered unlucky [1], and there are probably other rules in other > cultures. If we establish a precedent that we'll skip release numbers > for non-technical reasons, I'm afraid we'll be right back in the mess > we sought to avoid, whereby nearly every year we had an argument about > what the next release number would be. So let's not go there. > >
Yes, I was being flippant, in an attempt to make the exact point you're making cogently but less pithily here. cheers andrew -- Andrew Dunstan https://www.2ndQuadrant.com PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
