Skip to content

Proto: fix name of encoding of round_overflow

Eugen Zalinescu requested to merge nomadic-labs/tezos:eugenz@fix-round-overflow-encoding-name into master

The title says it all.

Merge request reports