Skip to content

Conversation

hauntsaninja
Copy link
Collaborator

@hauntsaninja hauntsaninja commented Oct 31, 2020

I think there's an issue for this somewhere too.

There's probably an issue for this somewhere.
@hauntsaninja hauntsaninja merged commit 7e66e51 into python:master Oct 31, 2020
@hauntsaninja hauntsaninja deleted the block branch October 31, 2020 19:14
hauntsaninja pushed a commit to hauntsaninja/mypy that referenced this pull request Nov 17, 2020
Fixes python#9727 (and effectively also adds a test for python#9674)
JukkaL pushed a commit that referenced this pull request Nov 17, 2020
Fixes #9727 (and effectively also adds a test for #9674)

Co-authored-by: hauntsaninja <>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants