Skip to content

Add type_name info to [TIMING] log output#96106

Merged
bors merged 1 commit intorust-lang:masterfrom jihiggins:issue-96060Apr 25, 2022

Commits

Commits on Apr 24, 2022