Skip to content

Conversation

@benpresles
Copy link
Contributor

I finally created an account on github to be able to create pull requests.
Here are all my changes. Most of them are bug fixes, compilation (windows) fixes and some are tool enhancements.

Best regards,
Ben

@benpresles
Copy link
Contributor Author

I have rebased the branch so you can merge my changes if you are interested.

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