Re: [PATCH] New math space patch

[Lars Gullik Bjønnes]

Andre Poenitz <[EMAIL PROTECTED]> writes:

| On Thu, Sep 19, 2002 at 09:07:19PM +0300, Martin Vermeer wrote:
>> Corrected math space patch attached.
>
| I'd like to commit that. And as this is no new feature but corrects
| behaviour, it should be ok. Lars?

yes.

-- 
        Lgb