Skip to content

Replace String with Symbol where possible#80091

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:str-to-symbol
Dec 17, 2020
Merged

Replace String with Symbol where possible#80091
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:str-to-symbol

Commits

Commits on Dec 16, 2020