Skip to content

Conversation

@Bibo-Joshi
Copy link
Member

gathering fixes here to be merged on next release

@Bibo-Joshi Bibo-Joshi added the ⚙️ type-hinting affected functionality: type-hinting label Apr 8, 2021
@Bibo-Joshi Bibo-Joshi added this to the v13.5 milestone Apr 8, 2021
@Bibo-Joshi Bibo-Joshi merged commit 4645d0e into master Apr 30, 2021
@Bibo-Joshi Bibo-Joshi deleted the type-hinting branch April 30, 2021 08:12
@github-actions github-actions bot locked and limited conversation to collaborators May 1, 2021
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