Skip to content

git, hg: Use full revision#5342

Merged
kit-ty-kate merged 1 commit intoocaml:masterfrom reynir:revision-full-hashJan 4, 2023

Commits

Commits on Nov 8, 2022