mirror of
https://github.com/tendermint/tendermint.git
synced 2026-04-18 14:55:02 +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