mirror of
https://github.com/tendermint/tendermint.git
synced 2026-01-11 15:30:27 +00:00
* Release management using CircleCI (#3498) * Release management using CircleCI * Changelog updated * Fix for wrong version tag (#3517) * Fix for wrong version tag (tag on the release branch instead of master) * Release message changelog link fix (#3519)