mirror of
https://github.com/tendermint/tendermint.git
synced 2026-07-25 09:32:54 +00:00
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.)