This looks good to me but I think it should be forwarded to the upstream developers. They seem to keep track of bugs at https://bugs.freedesktop.org/. Could you please forward your bug and patch there? Then we can add a bug watch on this bug to the upstream bug report to keep track of their progress on it. Thanks!
This looks good to me but I think it should be forwarded to the upstream developers. They seem to keep track of bugs at https:/ /bugs.freedeskt op.org/. Could you please forward your bug and patch there? Then we can add a bug watch on this bug to the upstream bug report to keep track of their progress on it. Thanks!