Skip to content

Clippy backport#114938

Merged
bors merged 2 commits into
rust-lang:masterfrom
flip1995:clippy_backport
Aug 18, 2023
Merged

Clippy backport#114938
bors merged 2 commits into
rust-lang:masterfrom
flip1995:clippy_backport

Commits

Commits on Aug 17, 2023