Skip to content

Opam: remove <4.11.0 requirement for running opam --with-test#11

Merged
c-cube merged 1 commit intomasterfrom
rm-4.11.0-requirement
Jan 20, 2021
Merged

Opam: remove <4.11.0 requirement for running opam --with-test#11
c-cube merged 1 commit intomasterfrom
rm-4.11.0-requirement

Commits

Commits on Jan 20, 2021