Skip to content

Conversation

@bradlarsen
Copy link
Contributor

@bradlarsen bradlarsen commented Mar 31, 2019

@bradlarsen
Copy link
Contributor Author

This should probably be labeled "skip news", though I don't think I'm able to apply labels.

@vstinner
Copy link
Member

vstinner commented Apr 5, 2019

I fixed the issue differently in PR #12695, thanks for your PR ;-)

@vstinner vstinner closed this Apr 5, 2019
@bradlarsen
Copy link
Contributor Author

Happy to help.

@bradlarsen bradlarsen deleted the fix-issue-36496 branch April 5, 2019 13:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants