Re: [patch] Probably fix bug 1973

[Jürgen Spitzmüller]

Georg Baum wrote:
> José, please tell if/when this should go in.

José, please consider this, as it fixes a _very_ annoying bug.

Jürgen