Re: [patch] bug 3371

[Jürgen Spitzmüller]

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

Done.

Jürgen