mirror of
https://github.com/tendermint/tendermint.git
synced 2026-05-29 18:40:34 +00:00
and fix formatting Refs https://github.com/tendermint/tendermint/pull/2417#discussion_r218080500
and fix formatting Refs https://github.com/tendermint/tendermint/pull/2417#discussion_r218080500