3 ms·
I made github issues to discuss the name collision as well as allowing the compiler patches to be applied via an OPAM switch.
by jordwalke 11y ago
I made github issues to discuss the name collision as well as allowing the compiler patches to be applied via an OPAM switch.