Closed toolslive closed 6 years ago
the change regarding opam_installer.sh will be needed too? let's wait for travis to agree first ...
opam_installer.sh
https://github.com/ocaml/opam/issues/3121
but travis also needs 14.04. So I'll do that too.
the change regarding
opam_installer.sh
will be needed too? let's wait for travis to agree first ...