Skip to content

[DO NOT MERGE] Forbid unused_lifetimes lint for Crater run#92413

Closed
Aaron1011 wants to merge 1 commit intorust-lang:masterfrom
Aaron1011:crater-unused-lifetimes

Commits

Commits on Jan 6, 2022