Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The CI system is checking out exact tags like "git checkout 4.0.33", which results in a detached HEAD. The version calculation was adding the commit hash.
- Loading branch information