Hi list, every time you offer a new version number, in git I see these "pre-release" "post-release" commits. What is it good for? Is this a git-functionality or what kind of tool you are using for this? TfH! Oliver