Tezos

This is a mirror of the release branches for Tezos. The main repository may be found at:

https://gitlab.com/tezos/tezos

All issues and PR should be directed here:

• https://gitlab.com/tezos/tezos/issues
• https://gitlab.com/tezos/tezos/merge_requests