mirror of
https://github.com/tendermint/tendermint.git
synced 2026-07-21 23:42:29 +00:00
fcebdf6720
Revert "quick fix for CircleCI (#2279)"
Revert "quick fix for CircleCI (#2279)"