Skip to content

Avoid importing typing extensions unless type checking#571

Merged
jelmer merged 1 commit intomasterfrom
avoid-extensions
Feb 19, 2026
Merged

Avoid importing typing extensions unless type checking#571
jelmer merged 1 commit intomasterfrom
avoid-extensions

Conversation

@jelmer
Copy link
Member

@jelmer jelmer commented Feb 19, 2026

No description provided.

@jelmer jelmer enabled auto-merge February 19, 2026 10:27
@jelmer jelmer merged commit 60f7126 into master Feb 19, 2026
18 checks passed
@stephenfin stephenfin deleted the avoid-extensions branch February 19, 2026 10:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments