Closed LPardue closed 2 years ago
Clippy has the lint https://rust-lang.github.io/rust-clippy/master/index.html#single_char_add_str
There was one instance where push_str() was used to add a single SP char. Other similar code used push. This change switches to push(), which makes things consistent, and little Mr. Clippy happy.
push_str()
push
push()
👍 Thank you!
Clippy has the lint https://rust-lang.github.io/rust-clippy/master/index.html#single_char_add_str
There was one instance where
push_str()
was used to add a single SP char. Other similar code usedpush
. This change switches topush()
, which makes things consistent, and little Mr. Clippy happy.