Skip to content

Diagnostic renaming#121489

Merged
bors merged 10 commits into
rust-lang:masterfrom
nnethercote:diag-renaming
Feb 28, 2024
Merged

Diagnostic renaming#121489
bors merged 10 commits into
rust-lang:masterfrom
nnethercote:diag-renaming

Rename `DiagnosticImportance` as `DiagImportance`.

8f3b007
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs