On Sun, Apr 24, 2016 at 4:51 PM, Stefan Monnier <monnier@iro.umontreal.ca> wrote:
No they're not. It's the UI code (the code that calls completion-at-point-function) which is responsible for the removal of duplicates.

Ah, after rereading the conversation I see that I misunderstood it the
first time.

This said, removal of duplicates within the completion table, like your patch does, is harmless, so this is not an objection against your patch.

OK, then I still find it sensible to tidy up duplicates here. Patch
installed!

-- Simen