I've filed https://bugs.freedesktop.org/show_bug.cgi?id=33113 and mentioned that in a comment around that code.
« Back to merge proposal
I've filed https:/ /bugs.freedeskt op.org/ show_bug. cgi?id= 33113 and mentioned that in a comment around that code.