Skip to content
This repository was archived by the owner on Jun 19, 2020. It is now read-only.

Conversation

mpalmer
Copy link
Contributor

@mpalmer mpalmer commented Jun 19, 2017

Fixes #42.

@mpalmer
Copy link
Contributor Author

mpalmer commented Oct 17, 2017

Is this likely to actually be merged? I don't want to fix the merge conflict if I'm tilting at windmills.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant