Skip to content

Conversation

@blakeembrey
Copy link
Member

Closes #223.

@blakeembrey blakeembrey mentioned this pull request Jun 6, 2016
@crwhite21
Copy link
Contributor

This PR fixes #223 in my use cases.

@blakeembrey blakeembrey merged commit 5209351 into master Jun 7, 2016
@blakeembrey blakeembrey deleted the correct-options-require branch June 7, 2016 00:23
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