Skip to content

Conversation

@valscion
Copy link
Member

@valscion valscion commented Apr 12, 2017

Fixes #62

This was cherry-picked from a commit in #60 which will end up containing a spec for this change, too

@valscion valscion merged commit d04f55b into master Apr 12, 2017
@valscion valscion deleted the fix-62 branch April 12, 2017 12:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants