Hi Colin, Frederic, On Thu, 2008-07-24 at 17:14 -0400, Colin Walters wrote: > Anyone to look at https://bugs.freedesktop.org/show_bug.cgi?id=16294 ? Patch looks good to me. Frederic, what do you think? Thanks, Timo