Skip to content

Add coq_of_ocaml (and use irmin 2.2.0)

Pierre Boutillier requested to merge nomadic-labs/tezos:use-irmin-2.2.0 into master

This is the new !1955 (closed) and !1931 (closed)

Merge request reports