Re: Minus and plus font issue?

[Enrico Forestieri]

On Sun, Sep 09, 2007 at 10:48:58AM +0200, Jürgen Spitzmüller wrote:

> Enrico Forestieri wrote:
> > Applied.
> 
> Is this already described in status.15x?

Now it is. Thanks for the reminder.

-- 
Enrico