Gavin Sherry wrote:
> list_add() doesn't really describe what it does.
I agree -- the functionality itself is fine, of course, but it would be
nice to have a better name.
> I was thinking either list_cond_add() or list_merge().
What about list_append_distinct()? (And list_append_all_distinct() for
the "merge two lists" case.)
-Neil
