Skip to content

Specify length of git hash prefix used in build info version#4857

Merged
rgrinberg merged 1 commit intoocaml:mainfrom jberdine:git_versionAug 17, 2021
+12-7

Commits

Commits on Aug 17, 2021