Skip to content

Pass --set-switch to opam when opam 2.0.0 is detected#1341

Merged
1 commit merged intomasterfrom unknown repositorySep 27, 2018

Commits

Commits on Sep 27, 2018