Closed cypriani closed 7 years ago
Looks good, but can you change the PR to target devel branch?
Le 19 nov. 2016 à 17:29, Philippe Villiers notifications@github.com a écrit : Can you change the PR to target devel branch?
Sorry, I didn't see that there was a devel branch. I should have time to update the PR on Monday.
Done, but the update has included a merge commit. Would you rather have me create a new PR from my own devel branch?
Yes it would be better
This fixes #79 and #84.
For #79, I did not: