Skip to content

remove a couple of redundant clones, thanks clippy - #162019

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
matthiaskrgr:rm_clones
Aug 31, 2026
Merged

remove a couple of redundant clones, thanks clippy#162019
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
matthiaskrgr:rm_clones

Commits

Commits on Aug 30, 2026