mirror of
https://github.com/tendermint/tendermint.git
synced 2026-07-25 17:43:03 +00:00
Fixes #5439. This is really a workaround for #5519 (unless we require async implementations to return ordered responses, but that kind of defeats the purpose of having an async API).