Fix occurrences of old fn names in comment and tracing#118115
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 21, 2023
Merged
Fix occurrences of old fn names in comment and tracing#118115bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom