mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-29 12:36:35 +03:00
c8f9c728c2
use push(char) to add chars (single-char &strs) to strings instead of push_str(&str)