On Mon, 2011-02-21 at 22:41 +0100, Wilhelm Pflüger wrote: > Now I attach a corrected patch (without the whitespace changes). I hope > that this doesn't confuse additionaly.... I was reading the old one, so this is effectively pushed now. Thanks for this. C.