Please do not report unrelated issues in merge requests - it makes the merge request noisy with unrelated discussions. Create a bug for it ;)
I have fixed this one directly in trunk, thanks for reporting!
« Back to merge proposal
Please do not report unrelated issues in merge requests - it makes the merge request noisy with unrelated discussions. Create a bug for it ;)
I have fixed this one directly in trunk, thanks for reporting!