Skip to content

Remove the UntranslatableDiagnosticTrivial lint.#121423

Merged
bors merged 1 commit intorust-lang:masterfrom nnethercote:rm-UntranslatableDiagnosticTrivialFeb 28, 2024
+1-88

Commits

Commits on Feb 27, 2024