Thanks for the fix. Sadly, this Pull Request is broken and has merge conflicts, because you did not rebase your branch to the latest state of our master branch. I manually cherry picked your new commit now and added it to the master branch. Therefore, this pull request will be closed since its no longer needed
Thanks for the fix. Sadly, this Pull Request is broken and has merge conflicts, because you did not rebase your branch to the latest state of our master branch. I manually cherry picked your new commit now and added it to the master branch. Therefore, this pull request will be closed since its no longer needed