Ok, it seems that this issue is rather a controversial one. The question remains if we should apply it or not. As far as I could follow the discussion, Felix and Ian are not happy with the patch while Alex claims that it doesn't do any harm.
So I think, if you two, Felix and Ian, could shortly state what your current feelings are about this issue we can proceed. Either we can apply it then or I'll close it. Thanks Carsten -- Carsten Ziegeler [email protected]
