Skip to content

Conversation

@Bibo-Joshi
Copy link
Member

Minor change, no runtime effect. Mostly for consistency and b/c it's nice to have.

@Bibo-Joshi Bibo-Joshi added enhancement ⚙️ type-hinting affected functionality: type-hinting labels Dec 10, 2023
@Bibo-Joshi Bibo-Joshi merged commit cc45f49 into master Dec 13, 2023
@Bibo-Joshi Bibo-Joshi deleted the missing-asynccontextmanangers branch December 13, 2023 19:22
@github-actions github-actions bot locked and limited conversation to collaborators Dec 21, 2023
@Bibo-Joshi Bibo-Joshi added 🔌 enhancement pr description: enhancement and removed enhancement labels Nov 3, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

🔌 enhancement pr description: enhancement ⚙️ type-hinting affected functionality: type-hinting

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants