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.
It works here, too. I think you should apply it. It is better than the current state, and even if there is still some hidden bug we'll discover that probably quicker if the people do not need to apply an extra patch. Georg
