Skip to content

Replaced log with tracing#75514

Merged
bors merged 1 commit intorust-lang:masterfrom
gdhuper:gdhuper/replace_log_with_tracing
Aug 15, 2020
Merged

Replaced `log` with `tracing`#75514
bors merged 1 commit intorust-lang:masterfrom
gdhuper:gdhuper/replace_log_with_tracing

Commits

Commits on Aug 15, 2020