Comment # 23 on bug 100465 from Julien Isorce

I confirm that comment #9 and #12 are about a different issue (or at least
different symptoms). I reported it here:
https://bugs.freedesktop.org/show_bug.cgi?id=100712