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