>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> Jean-Marc Lasgouttes wrote: >> What about this patch? I am not sure it cures the original problem, >> but it looks like a welcome cleanup. Georg> I guess it will do nothing to the original problem, but it Georg> looks good in its own right. Lars, does removing this code seem OK to you? JMarc
