mirror of
https://github.com/tendermint/tendermint.git
synced 2026-01-06 21:36:26 +00:00
I think in the future we should migrate from having our own logging interface and use our logger directly, which I think would help obviate this particular problem, but in the mean time, this seems safe.