mirror of
https://github.com/tendermint/tendermint.git
synced 2026-02-08 13:00:08 +00:00
* Develop -> Master - Some places still had develop instead of master. closes #4107 Signed-off-by: Marko Baricevic <marbar3778@yahoo.com> * add one more