bug#2989: history-delete-duplicates does not apply to command history

[Stefan Monnier]

>> > You probably want to open another bug saying that
>> I'll just hopefully hereby reopen and retitle this one.
>> > history-delete-duplicates does not apply to command history.
>> (OK, but not sure you don't want two independent variables...)
>> > You can try this (not even compile tested) patch:
>> > --- callint.c.~1.172.~     Tue Mar 31 16:28:30 2009
>> (Please test for me, I don't own a c-compiler here :-) )

> The patch needed an extra declaration to compile, and it seems to work fine.

> I am not sure if it's acceptable to check in such a change at this point
> in the release process.

Yes, it's fine, thank you, please install it.


        Stefan