Skip to content

[red-knot] is_subtype_of fix for KnownInstance types#14750

Merged
sharkdp merged 1 commit intomainfrom david/fix-14731Dec 3, 2024

Commits

Commits on Dec 3, 2024