Re: Inconsistency w.r.t. defining the same symbol more than once

[Paul Eggert]

Thomas Schwinge <address@hidden> writes:

> What is the expected outcome?  The manual doesn't tell me.

The expected outcome is not defined by the manual.  I guess this means
the manual is subtly telling you "Don't do that".  Obviously this
should be improved (at least it should be documented better), but
that's the current status.