Bibo-Joshi · GitHub

Conversation

@Bibo-Joshi

Copy link Copy Markdown

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

1 participant

@Bibo-Joshi

Read the original on github.com ↗