mirror of
https://github.com/tendermint/tendermint.git
synced 2026-08-19 21:56:22 +00:00
I accidentally omitted this from the backport in #6906. Fixes #7043.
I accidentally omitted this from the backport in #6906. Fixes #7043.