use push(char) to add chars (single-char &strs) to strings instead of push_str(&str)#76567
Merged
bors merged 3 commits intorust-lang:masterfrom Sep 10, 2020
Merged
use push(char) to add chars (single-char &strs) to strings instead of push_str(&str)#76567bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom
