Re: Release branch added to git

[Robert Pluim]

>>>>> On Sat, 12 Nov 2022 22:26:54 +0000, Gavin Smith 
>>>>> <gavinsmith0123@gmail.com> said:

    Gavin> I have updated the version number on the release branch to 7.0.1 
already,
    Gavin> so it should be ready to go at the time we decide to make a new 
release
    Gavin> from this branch.

Iʼd suggest you not do that until you actually release 7.0.1. As it
stands it creates ambiguity: is a build really 7.0.1, or is it just
built from the release branch? Perhaps 7.0.1-prerelease (or you can
see if you can get the git repository version in there somehow)

Robert
--