Skip to content

[red-knot] Trust all symbols in stub files#17588

Merged
sharkdp merged 1 commit intomainfrom
david/trust-undeclared-symbols-in-stubs-pt2
Apr 23, 2025
Merged

[red-knot] Trust all symbols in stub files#17588
sharkdp merged 1 commit intomainfrom
david/trust-undeclared-symbols-in-stubs-pt2

Commits

Commits on Apr 23, 2025