Re: remove leim/leim-list.el for make bootstrap?

[Stefan Monnier]

>> Indeed, the problem I saw was that the generated file was marked as
>> "utf-8" but contained iso-2022 encoded text
> Actually, I think it was the other way around: the generated file had
> the iso-2022-7bit coding tag, but included a UTF-8 encoded text from
> leim-ext.el.

Maybe there were several ways for this transition to wreak havoc:
my broken file clearly had a utf-8 coding tag at the top.


        Stefan