mirror of
https://github.com/tendermint/tendermint.git
synced 2026-07-26 10:03:21 +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.)