Skip to content

Turn off git directory ownership check [1.x version]#483

Merged
smorimoto merged 1 commit intoocaml:1.xfrom dra27:safe-git-v1Apr 17, 2022

Commits

Commits on Apr 17, 2022