>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> Jean-Marc Lasgouttes wrote: >> The following patch merges your patch with my earlier patch. It >> seems to work here, but I have not been very imaginative in my >> testing. Georg> It works here, too. I think you should apply it. It is better Georg> than the current state, and even if there is still some hidden Georg> bug we'll discover that probably quicker if the people do not Georg> need to apply an extra patch. I just did that. JMarc