diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-05 16:04:50 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-02-05 16:04:50 +0000 |
commit | 737e7a7b751f300de3a55a79ce530ea6e15fb64d (patch) | |
tree | acd545965ff29bd45c44c338b13e36da58714714 /editors/code/src | |
parent | 2a75594ee894baad5339ff9708ca70f6f69e0a36 (diff) | |
parent | 79d103d5b42c5b207c28b6eb8a6ab42f0c685ec5 (diff) |
Merge #7574
7574: Remove various redundant clones r=kjeremy a=yoshuawuyts
I noticed when running clippy through RA that there are a few instances where `clone` is called where it's not actually needed. I figured a small patch to remove these might be welcome here.
Thanks!
Co-authored-by: Yoshua Wuyts <[email protected]>
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions