Skip to content

Conversation

@jz5
Copy link
Contributor

@jz5 jz5 commented Sep 19, 2017

Fix doc

@jashkenas
Copy link
Owner

Thanks!

@jashkenas jashkenas merged commit eb12792 into jashkenas:master Sep 19, 2017
@GeoffreyBooth GeoffreyBooth removed the bug label Sep 19, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants