Skip to content

review: fix: Recognize local type references with numbers in the name#4212

Merged
slarse merged 3 commits intoINRIA:masterfrom SirYwell:fix/local-type-refOct 11, 2021

Commits

Commits on Oct 7, 2021

Commits on Oct 9, 2021