Skip to content

Conversation

@ericsnowcurrently
Copy link
Member

This slipped through in PR #1728.

@mention-bot
Copy link

@ericsnowcurrently, thanks for your PR! By analyzing the history of the files in this pull request, we identified @ncoghlan, @tiran and @Yhg1s to be potential reviewers.

@ericsnowcurrently
Copy link
Member Author

@zooba

@ericsnowcurrently
Copy link
Member Author

@ncoghlan

@ericsnowcurrently ericsnowcurrently merged commit e0918ec into python:master May 23, 2017
@ericsnowcurrently ericsnowcurrently deleted the fix-broken-cli branch May 23, 2017 19:26
serhiy-storchaka added a commit that referenced this pull request May 23, 2017
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.

3 participants