Bibo-Joshi · GitHub

Conversation

@Bibo-Joshi

Copy link Copy Markdown

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

1 participant

@Bibo-Joshi

Read the original on github.com ↗