Avoid trying to be too clever when upgrading switches from opam 2.0#5002
Closed
kit-ty-kate wants to merge 3 commits into
Closed
Avoid trying to be too clever when upgrading switches from opam 2.0#5002kit-ty-kate wants to merge 3 commits into
kit-ty-kate wants to merge 3 commits into