Re: bug in Encodings::fromLaTeXCommand

[Jürgen Spitzmüller]

Enrico Forestieri wrote:
> Does the (untested) attached patch help?

It fixes the problem I reported, yes. I haven't tested for side-effects, 
though.

Jürgen