Skip to content

Avoid fail on git error#110

Merged
joezuntz merged 1 commit intomainfrom git-revision-debugNov 28, 2023

Commits

Commits on Nov 27, 2023