Enrico Forestieri wrote:
> > Log:
> > Fix bug #6033: Initial character sometimes eaten by math-insert
>
> OK for branch?

Yes.

Jürgen

Reply via email to