mirror of
https://github.com/fluencelabs/tendermint
synced 2025-05-30 14:41:20 +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