Skip to content

Refactor: remove an unnecessary string search#100163

Merged
bors merged 1 commit intorust-lang:masterfrom TaKO8Ki:remove-unnecessary-string-searchAug 9, 2022

Commits

Commits on Aug 5, 2022