Skip to content

Fix elided_named_lifetimes in code#129510

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

Commits

Commits on Aug 24, 2024