https://bugs.freedesktop.org/show_bug.cgi?id=83748
--- Comment #15 from Michel Dänzer michel@daenzer.net --- (In reply to John from comment #14)
How did you know it was fixed?
I didn't know, I just guessed it might be fixed thanks to some fixes going in recently.