mirror of
https://github.com/tendermint/tendermint.git
synced 2026-02-08 13:00:08 +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