Don't print thread ids and names in tracing logs#78933
Merged
bors merged 2 commits intorust-lang:masterfrom Nov 12, 2020
Merged
Don't print thread ids and names in `tracing` logs#78933bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom
