Closed Caresilabs closed 8 years ago
Thanks for contributing!
Could you rebase the PR to develop though? I'm planning on some major improvements to the buildsystem soon, and want to make master only for releases ;)
@Robbiedobbie NP :) Do I have to close this one or can I just change the target branch?
Unfortunately, github still does not have a function to change the branch of a PR, so please open a new one.