Skip to content

elide some lifetimes per clippy#531

Merged
dwrensha merged 1 commit intomasterfrom clippy-elideNov 15, 2024

Commits

Commits on Nov 15, 2024