Bernd Schubert wrote: > Of course this character is not supposed to be there, but it really should > not crash, but only show an undecodable character. It even took me some time > to figure out where the problem is, as it didn't show any problem and only > crashed when I wanted to see dvi output. Took me some time to figure out > where the problem is...
could you create new bug report and attach the problematic file there? pavel
