mirror of
https://github.com/tendermint/tendermint.git
synced 2026-07-22 07:52:44 +00:00
6797d85851
Just a minor followup on the review if #3347: Fixes a comment. [#3347 (comment)](https://github.com/tendermint/tendermint/pull/3347#discussion_r259582330)