Skip to content

errors: rename typeck.ftl to hir_analysis.ftl#102395

Merged
bors merged 1 commit intorust-lang:masterfrom
davidtwco:translation-rename-typeck
Oct 4, 2022
Merged

errors: rename `typeck.ftl` to `hir_analysis.ftl`#102395
bors merged 1 commit intorust-lang:masterfrom
davidtwco:translation-rename-typeck

Commits

Commits on Oct 3, 2022