mirror of
https://github.com/tendermint/tendermint.git
synced 2026-07-07 08:36:38 +00:00
39d2ac4dbc
This reverts the "fix" in #5311, after the real fix in #5328.