mirror of
https://github.com/tendermint/tendermint.git
synced 2026-01-08 22:23:11 +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.