Skip to content

update the world for resto 0.7

This patch updates the repo to track opam master as of this writing, which includes resto 0.7, needed for tezos!5180 (merged).

Merge request reports