Replace String with Symbol where possible#80091

Merged

bors merged 1 commit intorust-lang:masterfrom

GuillaumeGomez:str-to-symbol

Dec 17, 2020

Commits on Dec 16, 2020

Replace String with Symbol where possible
GuillaumeGomez
committed