mirror of
https://github.com/tendermint/tendermint.git
synced 2026-07-20 06:52:30 +00:00
88bdd328ed
I've seen this failure a few times and this change seems like it reduces the number of times that we're waiting (and can therefore hit a timeout.)