Skip to content

Fix elided_named_lifetimes in code#129510

Merged
bors merged 1 commit intorust-lang:masterfrom
GrigorenkoPV:fix-elided-named-lifetimes
Aug 25, 2024

Commits

Commits on Aug 24, 2024