Jürgen Spitzmüller <[EMAIL PROTECTED]> writes:
> Jean-Marc Lasgouttes wrote:
>> Juergen, OK for branch?
>
> Yes.
OK, done.
JMarc
Jean-Marc Lasgouttes wrote:
> Juergen, OK for branch?
Yes.
> I am not really satisfied with the workaround,
> but I have no better idea. In particular, this problem only occurs
> with this directory. Why?
Don't ask me.
Jürgen
[EMAIL PROTECTED] writes:
> make sure that installation can be made with parallel make; remove unused
> directory
Juergen, OK for branch? I am not really satisfied with the workaround,
but I have no better idea. In particular, this problem only occurs
with this directory. Why?
JMarc
