Skip to content

Add None to exc_type in __exit__#344

Merged
inducer merged 1 commit intoinducer:mainfrom
alexfikl:fix-exit-annotation
Feb 13, 2026
Merged

Add None to exc_type in __exit__#344
inducer merged 1 commit intoinducer:mainfrom
alexfikl:fix-exit-annotation

Conversation

@alexfikl
Copy link
Contributor

All arguments are supposedly set to None if there's no exception.

@inducer inducer merged commit 0550200 into inducer:main Feb 13, 2026
16 checks passed
@inducer
Copy link
Owner

inducer commented Feb 13, 2026

Thx!

@alexfikl alexfikl deleted the fix-exit-annotation branch February 13, 2026 18:46
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.

2 participants