Subject: Re: bug#9891: 24.0.90; Duplicated entry at the info directory

From: Eli Zaretskii <[email-masked]>
Date: Wed, 02 Nov 2011 09:03:03 -0400

> From: Stefan Monnier <[email-masked]>
> Cc: Juri Linkov <[email-masked]>, [email-masked]
> Date: Wed, 02 Nov 2011 08:41:58 -0400
> 
> I'm not sure what is being discussed.  Is it that the two above lines
> are kept, or that one of the two is removed as a duplicate?

That it is removed.

> And why is the other behavior better?

Because these are 2 different glibc functions.

>         Stefan "To my layman's eyes, the two lines are equivalent, just
>                 like "* GDB: (gdb)" and "* Gdb: (gdb)" and should be
>                 collapsed into one"

Evidently, this is not always true.  Leaving redundant information is
a lesser evil than removing non-redundant one, IMO.