Skip to content

lint: add diagnostic translation migration lints#97948

Merged
bors merged 1 commit intorust-lang:masterfrom davidtwco:diagnostic-translation-lintsJun 14, 2022

Commits

Commits on Jun 10, 2022