On Wed, Feb 28, 2007 at 08:28:58AM +0100, Brice Goglin wrote: > We should probably report this on http://bugzilla.freedesktop.org then. > Would you mind doing so? hmmm... is there already as it seems: https://bugs.freedesktop.org/show_bug.cgi?id=7086