Commit f9ac4634 authored by Ralf Jung's avatar Ralf Jung

try to work around yet another opam silliness

parent e586fad6
Pipeline #5287 passed with stage
in 4 minutes and 5 seconds