Commit 2bab25d0 authored by Ralf Jung's avatar Ralf Jung

opam: don't use the shell for no good reason

parent b8aba40a
Pipeline #4723 passed with stages
in 7 minutes and 42 seconds