Closed hdevalence closed 2 years ago
Now that https://github.com/informalsystems/tendermint-rs/pull/862 is merged, we can stop using our own branch.
Now that https://github.com/informalsystems/tendermint-rs/pull/862 is merged, we can stop using our own branch.