On Sun, 2007-11-18 at 23:49 +0100, Sjoerd Simons wrote:
> Could someone have a look at https://bugs.freedesktop.org/show_bug.cgi?id=9767.
> Both Debian and Ubuntu have been using this patch for some time now.
Nice catch. Please commit. Thanks.
David