Skip to content

Remove a string comparison about types#99048

Merged
bors merged 1 commit intorust-lang:masterfrom
TaKO8Ki:remove-type-string-comparison
Jul 9, 2022
Merged

Remove a string comparison about types#99048
bors merged 1 commit intorust-lang:masterfrom
TaKO8Ki:remove-type-string-comparison

Commits

Commits on Jul 8, 2022