Skip to content

Fix a failure when using opam-monorepo with an opam 2.2 root#379

Merged
Leonidas-from-XIV merged 1 commit intotarides:mainfrom kit-ty-kate:opam-2.2-rootMar 22, 2023
+4-1

Commits

Commits on Mar 22, 2023