>>>>> On Sat, 12 Nov 2022 22:26:54 +0000, Gavin Smith
>>>>> <[email protected]> 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
--
