On Wed, 2008-12-10 at 19:42 +0100, Joerg Roedel wrote:> Ok, I add it, thanks. Who is the author, Mike or you?Might as well attribute it to Mike; he spotted it.-- dwmw2