Closed GernotMaier closed 6 years ago
@GernotMaier - Thanks!
Side note: in the future, please create branches in your forked repo, not the main repo. That's the usual way to work on Github, it's easier to maintain. I'll merge this PR now, and then delete this new branch from the main repo.
@GernotMaier - Thanks!
Side note: in the future, please create branches in your forked repo, not the main repo. That's the usual way to work on Github, it's easier to maintain. I'll merge this PR now, and then delete this new branch from the main repo.