Re: [patch] bug 3371

[Jean-Marc Lasgouttes]

>>>>> "Jürgen" == Jürgen Spitzmüller <[EMAIL PROTECTED]> writes:

Jürgen> Jean-Marc Lasgouttes wrote:
>> It was an accident. This change should be reverted.

Jürgen> Done.

Thanks.

JMarc