Skip to content

Update to include new hole7 features#3

Open
dkirkby wants to merge 7 commits intomasterfrom
hole7
Open

Update to include new hole7 features#3
dkirkby wants to merge 7 commits intomasterfrom
hole7

Conversation

@dkirkby
Copy link
Collaborator

@dkirkby dkirkby commented Jul 11, 2016

It looks like this branch is in good shape for merging back into the master branch. You could tag the current master if you want to make it easier to restore and refer to.

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