Skip to content

Fix %{make} on Windows#3853

Merged
rgrinberg merged 1 commit intoocaml:masterfrom kit-ty-kate:fix-gmakeOct 14, 2020

Commits

Commits on Oct 14, 2020