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 debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org