Skip to content

[red-knot] remove layer of indirection from SymbolTable#11132

Merged
carljm merged 1 commit intored-knotfrom cjm/red-knot/symbols-typesApr 24, 2024

Commits

Commits on Apr 24, 2024