Skip to content

[beta] Clippy: Move manual_clamp to nursery#106731

Merged
bors merged 1 commit intorust-lang:betafrom
flip1995:clippy_backport
Jan 14, 2023
Merged

[beta] Clippy: Move manual_clamp to nursery#106731
bors merged 1 commit intorust-lang:betafrom
flip1995:clippy_backport

Commits

Commits on Jan 11, 2023