Thanks joachim. Pushed in r6093. Btw, I remember dimly that you prefer the merge-request approach to contributing, but just to make sure: Do you'd rather have push to trunk rights? I am fine with both.
Thanks joachim. Pushed in r6093. Btw, I remember dimly that you prefer the merge-request approach to contributing, but just to make sure: Do you'd rather have push to trunk rights? I am fine with both.