Sorry Olivier Dony I made a merge proposal but I had an incorrect indentation. I delete the previous merge proposal, correct the indentation and redid the proposal.
I am not sure how to finish the merge and what I have to wait for, so the bug is fixed correctly in the nightly build, can you give me some hints?
Sorry Olivier Dony I made a merge proposal but I had an incorrect indentation. I delete the previous merge proposal, correct the indentation and redid the proposal.
I am not sure how to finish the merge and what I have to wait for, so the bug is fixed correctly in the nightly build, can you give me some hints?