Re: [patch] fix bug 5376 (AMS dots)

[Jürgen Spitzmüller]

Uwe Stöhr wrote:
> > I prefer the attached. It lets you specify the requirement in symbols,
> > which is
>
>  > more flexible.
>
> Me too.

I apply it then.

Jürgen