Skip to content

Conversation

@igitur
Copy link

@igitur igitur commented Nov 16, 2015

No description provided.

@igitur
Copy link
Author

igitur commented Jan 6, 2016

Should I re-request this PR against the new repository?

@eehlers
Copy link
Owner

eehlers commented Jan 6, 2016

very sorry that this got overlooked, miscommunication on our part.

you don't need to re-request it, we will get it in for the 1.8 release of the old build.

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.

2 participants