mirror of
https://github.com/tendermint/tendermint.git
synced 2026-04-29 20:06:56 +00:00
I think the decision in #8806 is that we shouldn't do this yet, so I think it's best to just drop this.
I think the decision in #8806 is that we shouldn't do this yet, so I think it's best to just drop this.