Skip to content

Fix a wrong use of OpamFilename.of_string#6024

Merged
kit-ty-kate merged 1 commit intoocaml:masterfrom kit-ty-kate:dummy-opam-filename-of-stringJun 18, 2024
+2-1

Commits

Commits on Jun 17, 2024