Skip to content

[red-knot] Trust module-level undeclared symbols in stubs#17577

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

[red-knot] Trust module-level undeclared symbols in stubs#17577
sharkdp merged 1 commit intomainfrom
david/trust-undeclared-symbols-in-stubs

Commits

Commits on Apr 23, 2025