Skip to content

lint: add diagnostic translation migration lints - #97948

Merged
bors merged 1 commit into
rust-lang:masterfrom
davidtwco:diagnostic-translation-lints
Jun 14, 2022
Merged

bors merged 1 commit into
rust-lang:masterfrom
davidtwco:diagnostic-translation-lints

lint: add diagnostic translation migration lints

5ba81fa
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs