Skip to content

[ty] Annotations are deferred by default for 3.14+#20799

Merged
sharkdp merged 1 commit into
mainfrom
david/deferred-annotations-3.14
Oct 10, 2025
Merged

[ty] Annotations are deferred by default for 3.14+#20799
sharkdp merged 1 commit into
mainfrom
david/deferred-annotations-3.14

Commits

Commits on Oct 10, 2025