Actually, your patch does not work with git. See
https://bugs.freedesktop.org/show_bug.cgi?id=43173
Could you comment on that mismatch? What version is right?
Actually, your patch does not work with git. See
https:/ /bugs.freedeskt op.org/ show_bug. cgi?id= 43173
Could you comment on that mismatch? What version is right?