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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]