Skip to content

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

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

Skip if-let-rescope lint unless requested by migration#132666
bors merged 1 commit into
rust-lang:masterfrom
dingxiangfei2009:skip-if-let-rescope-lint

skip if-let-rescope lint unless requested by migration

193fe5a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs