On 2013-12-21 09:38, Julien Cristau wrote:
Please report this upstream at bugs.freedesktop.org following the instructions at https://01.org/linuxgraphics/documentation/how-report-bugs and let us know the bug number for tracking.
I've submitted https://bugs.freedesktop.org/show_bug.cgi?id=72959