mirror of
https://github.com/tendermint/tendermint.git
synced 2026-04-19 15:25:11 +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