On 16.05.2021 12:29, Michaud Michael wrote: > I don't think it is very important. Just wanted to know if you noticed it, > and if you choose to let it as is, or if it's just not possible to add an > offset to the rev number so that v2 > v1.
indeed i did, but i actually don't care as it is merely meant to compare git rev-tags in respect of order in time. for actual releases the version number is the significant identifier.we might even strip the git-commit-count, as it has no value there, resulting in distro names like OpenJUMP-2.0-7f8e94e. on the other hand it shows the number of commits between releases, so we might want to keep it. regards ..ede _______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
