mirror of
https://github.com/tendermint/tendermint.git
synced 2026-02-06 20:11:08 +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.)