Hi Vort, I would just submit a patch and explain the problem in a comment or the commit message. The reviewer should then decide whether it's ok to merge.
Thanks
Hi Vort,
I would just submit a patch and explain the problem in a comment or the commit message.
The reviewer should then decide whether it's ok to merge.
Thanks