Skip to content

Conversation

@hildo
Copy link

@hildo hildo commented Mar 3, 2015

For #5

@hildo
Copy link
Author

hildo commented Mar 4, 2015

Hmmm, this is similar to another pull request that has been submitted. So depending on what is merged, it may not be necessary.

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.

1 participant