Skip to content

Remove the rest of unnecessary to_string#98191

Merged
bors merged 1 commit intorust-lang:masterfrom
TaKO8Ki:remove-rest-of-unnecessary-to-string
Jun 17, 2022
Merged

Remove the rest of unnecessary `to_string`#98191
bors merged 1 commit intorust-lang:masterfrom
TaKO8Ki:remove-rest-of-unnecessary-to-string

Commits

Commits on Jun 17, 2022