Comment # 15 on bug 83748 from Michel Dänzer

(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.