Re: fix for bug 10994 breaks ido customizations in major way

[Le Wang]

On Wed, May 8, 2013 at 4:42 PM, Leo Liu <address@hidden> wrote:
> On 2013-05-08 16:14 +0800, Vitalie Spinu wrote:
>> Looks like a generally useful piece. May be subr.el?
>>
>> Also delete-consecutive-dups could be very handy.
>
> If people find it generally useful we can provide
> delete-consecutive-dups and let users combine copy-sequence and
> delete-consecutive-dups for non-destructive case.

Last patch looks good.  (make-symbol "") is a useful idiom.


--
Le