Commit 6d9089e

authored

Merge pull request #12684 from gridbugs/portable-lockdirs-dedup-more-errors

Deduplicate some more errors while solving portable lockdirs

2 parents 1ee4d7d + 7590f37 commit 6d9089eCopy full SHA for 6d9089e

2 files changed

+239

-194

lines changed

src/dune_pkg
- opam_solver.ml
test/blackbox-tests/test-cases/pkg/portable-lockdirs
- portable-lockdirs-dedup-manifest-errors.t

+239

-194

lines changed

Comments

(0)