Richard Bonichon

!ci-build-me

!ci-build-me

!ci-build-me

!ci-build-me

!ci-toolchain-me

!ci-toolchain-me

!ci-build-me

!ci-build-me

!ci-build-me

I'm not sure what the issue actually is at the moment. Is that only that this change would need OPAM users to have 2 switches? If so, isn't it already...