bors 1547c076bf Auto merge of #121780 - nnethercote:diag-renaming2, r=davidtwco ...

Diagnostic renaming 2

A sequel to #121489.

r? `@davidtwco`

2024-03-05 02:58:34 +00:00

..

src

Auto merge of #121780 - nnethercote:diag-renaming2, r=davidtwco

2024-03-05 02:58:34 +00:00

Cargo.toml

…

messages.ftl

…