Skip to content

Conversation

@Bibo-Joshi
Copy link
Member

Gathering, to be merged on next release

@Bibo-Joshi Bibo-Joshi added the ⚙️ type-hinting affected functionality: type-hinting label Aug 21, 2022
@Bibo-Joshi Bibo-Joshi added this to the v20.0a3 milestone Aug 21, 2022
@Bibo-Joshi Bibo-Joshi merged commit 5b9afd5 into master Aug 27, 2022
@Bibo-Joshi Bibo-Joshi deleted the type-hinting-fixes branch August 27, 2022 09:58
@github-actions github-actions bot locked and limited conversation to collaborators Sep 3, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

⚙️ type-hinting affected functionality: type-hinting

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants