https://bugs.freedesktop.org/show_bug.cgi?id=92258
--- Comment #26 from Michel Dänzer michel@daenzer.net --- I think the patch was only intended as a means to get more information, not as a fix to be merged. Right, Maarten? Did you get more information from the feedback on the patch so far, or what specifically do you need?