chore: clippy push_str with single char str

This commit is contained in:
Joonas Koivunen 2020-12-08 14:53:32 +02:00
parent 6c7ce3747c
commit 911fab510a

View File

@ -393,7 +393,7 @@ fn update_full_path(
if let Some(name) = name {
if !full_path.is_empty() {
full_path.push_str("/");
full_path.push('/');
}
full_path.push_str(name);
*old_depth += 1;