Remove the UntranslatableDiagnosticTrivial lint.#121423
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 28, 2024
Merged
Remove the UntranslatableDiagnosticTrivial lint.#121423bors merged 1 commit intorust-lang:masterfrom
UntranslatableDiagnosticTrivial lint.#121423bors merged 1 commit intorust-lang:masterfrom
