mirror of
https://github.com/tendermint/tendermint.git
synced 2026-10-22 06:12:43 +00:00
* Fix for wrong version tag (tag on the release branch instead of master)
* Fix for wrong version tag (tag on the release branch instead of master)