Conversation
Bibo-Joshi
commented
Jun 6, 2021
Bibo-Joshi
commented
Copy link
Copy Markdown
Member
To be merged before the next release
Poolitzer
added this to the
v13.6.1 (bug fix release) milestone
Bibo-Joshi
merged commit 4315225
into
master
Bibo-Joshi deleted the type-hinting-fixes branch
July 1, 2021 15:44This was referenced
Jul 1, 2021Closed
github-actions
Bot
locked and limited conversation to collaborators
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.