mirror of
https://github.com/tendermint/tendermint.git
synced 2026-01-10 15:07:24 +00:00
- depndabot couldnt update a few deps as they needed to beupdated together. - PRs: #3946, 3938 can be closed with this PR Signedoff-by: Marko Baricevic <marbar3778@yahoo.com>