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