The mentioned patch I posted to freedesktop.org was finally pushed to the current master (to be released when?) by Alan Coppersomith.
Pushed to ssh://git.freedesktop.org/git/xorg/lib/libX11: e7fd6f0..8f58e54 master -> master Thank you in advance for your attention. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]

