Skip to content

Conversation

@harshil21
Copy link
Member

discovered this while I was coding a new bot

@harshil21 harshil21 added the ⚙️ type-hinting affected functionality: type-hinting label Oct 14, 2022
@harshil21 harshil21 added this to the v20.0a5 milestone Oct 14, 2022
@Bibo-Joshi Bibo-Joshi merged commit 210f9af into master Oct 17, 2022
@Bibo-Joshi Bibo-Joshi deleted the fix-return-annotation branch October 17, 2022 18:38
@github-actions github-actions bot locked and limited conversation to collaborators Oct 25, 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.

3 participants