Push a char
instead of a str
with len one into a String#82022
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 13, 2021
Merged
Push a `char` instead of a `str` with len one into a String#82022bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom