Closed pierrewillenbrockdfki closed 2 years ago
It seems I can't create a new branch here. Maybe @planthaber can?
branch created
@pierrewillenbrockdfki Could you please take the changes from the last commit from this fix-feature/qt5 also into your pull request. Thanks!
@moooeeeep This is supposed to land on a branch called "feature/qt5", but github does not allow to specify that in a pull request, so that branch would have to be created beforehand.