Not increasing the version when the tree is identical #143

Closed

b00f wants to merge 3 commits intocosmos:developfrom b00f:master

+27-40

Commits on Mar 13, 2019

Merge pull request #134 from tendermint/develop
liamsi
authored

Commits on Jun 10, 2019