chris/ruwuma
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

identifiers: Replace single-char push_str with just push

Browse Source
This commit is contained in:
Jonas Platte 2020-09-03 20:21:30 +02:00
parent e7dde6850c
commit 03c636caf0
No known key found for this signature in database
GPG Key ID: 7D261D771D915378
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ruma-identifiers/src/device_key_id.rs
View File

@ -21,7 +21,7 @@ impl DeviceKeyId {
let mut res = String::with_capacity(algorithm.len() + 1 + device_id.len());
res.push_str(algorithm);
res.push_str(":");
res.push(':');
res.push_str(device_id);
let colon_idx =

2
ruma-identifiers/src/server_key_id.rs
View File

@ -18,7 +18,7 @@ impl ServerKeyId {
let mut res = String::with_capacity(algorithm.len() + 1 + version.len());
res.push_str(algorithm);
res.push_str(":");
res.push(':');
res.push_str(version);
let colon_idx =