use chars instead of strings where applicable#108099

Merged

bors merged 1 commit intorust-lang:masterfrom

matthiaskrgr:str_to_char

Feb 16, 2023

Commits on Feb 15, 2023

use chars instead of strings where applicable
matthiaskrgr
committed