Skip to content

Conversation

@Pitterling
Copy link
Collaborator

@Pitterling Pitterling commented Jul 31, 2017

another try, replacement for PR #100
fixes #76

@Pitterling Pitterling requested a review from vlsi July 31, 2017 22:31
@Pitterling
Copy link
Collaborator Author

@vlsi pls have a look again

@Pitterling
Copy link
Collaborator Author

@vlsi what can be done to get this merged?

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.

About Box: showing outdated information

2 participants