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