Actually put the commit-id into the versioninfo.txt
(cherry picked from commit 3b537b68583de7bda2a264a3ed25e58a1159b94f)
Description
Description
Details
Details
- Provenance
• werner Authored on Mon, Dec 9, 4:52 PM - Parents
- rWbbd2d3fec368: Extend the versioninfo.txt file.
- Branches
- Unknown
- Tags