Re: char-ranges.patch

[Akim Demaille]

>>>>> "Alexandre" == Alexandre Oliva <address@hidden> writes:

Alexandre> On Oct 24, 2000, Akim Demaille <address@hidden> wrote:
>> You didn't OK this patch.

Alexandre> Lars'?  I didn't OK it because it should to be changed so
Alexandre> as to not depend on character ranges.  Since the changes
Alexandre> are trivial, I hereby Ok the modified version in advance
Alexandre> :-)

OK :)  Let's go.

The question was also about my patch, but actually Pavel did OK it
modulo a few changes, a few of them already being applied.  So I'll
apply it too.