Skip to content

Conversation

bluetech
Copy link
Contributor

@bluetech
Copy link
Contributor Author

This is extracted from #3108 since it should be uncontroversial.

@JelleZijlstra JelleZijlstra merged commit c0625d3 into python:master Aug 17, 2019
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