Re: [patch] bug 3218: Do not show this warning again

[Jürgen Spitzmüller]

José Matos wrote:
> > It drove me nuts a long time ago, so please!
> >
> > rh
>
> +\infty

OK. It's in.

Jürgen