Skip to content

Skip if-let-rescope lint unless requested by migration#132666

Merged
bors merged 1 commit intorust-lang:masterfrom
dingxiangfei2009:skip-if-let-rescope-lint
Jan 24, 2025

Commits

Commits on Nov 5, 2024