On 5/13/21 6:45 PM, Tom Lane wrote:
> Bumping the version in the commit that changes
> things is not optional, because if you don't do that then you'll
> probably burn some other developer also working on HEAD. So
> I don't want people thinking they can skip this because it was
> done at the beginning of the development cycle.
And we make sure this is done how?
Regards, Jan
--
Jan Wieck
Postgres User since 1994