Skip to content

[beta] Clippy beta backport#117757

Merged
bors merged 1 commit intorust-lang:betafrom
flip1995:clippy-beta-backport
Nov 10, 2023
Merged

[beta] Clippy beta backport#117757
bors merged 1 commit intorust-lang:betafrom
flip1995:clippy-beta-backport

Commits

Commits on Nov 9, 2023