Jürgen Spitzmüller wrote: > Nothing really crucial, but I'd like to have the attached patch at least in > 1.6.0, since these different encodings with undescriptive names (utf8 vs. > UTF8 vs. utf8x and EUC-JP vs. EUC-JP-pLaTEX etc.) really confuse users.
Since I didn't hear any objection, I committed this. Jürgen
