Bibo-Joshi · GitHub

Conversation

@Bibo-Joshi

Copy link Copy Markdown

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

2 participants

@Bibo-Joshi @harshil21

Read the original on github.com ↗