Re: [Patch] bug 2019 fix

[Georg Baum]

Juergen Spitzmueller wrote:

> Martin Vermeer wrote:
>> So please, verify that this
>> works for an unmodified tree too.
> 
> Yes, it seems to fix the problem for me too.

For me too.


Georg