Skip to content

Conversation

@connec
Copy link
Collaborator

@connec connec commented Dec 15, 2017

Fixes #4822.

@GeoffreyBooth
Copy link
Collaborator

@connec Can you resolve the conflicts with this, then I’ll merge it in and release a version tonight.

@GeoffreyBooth GeoffreyBooth merged commit 38f5963 into jashkenas:master Dec 28, 2017
@GeoffreyBooth GeoffreyBooth mentioned this pull request Dec 29, 2017
@connec connec deleted the #4822 branch January 2, 2018 16:00
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