Subject: bug#13872: 24.3-rc1; TERM_HEADER multiply defined during 'configure'

From: Ken Brown <[email-masked]>
Date: Tue, 05 Mar 2013 08:40:36 -0500

On 3/5/2013 12:26 AM, Paul Eggert wrote:
> Here's a fix.  This looks pretty safe.

Are you sure there are no tests between the two definitions of 
TERM_HEADER for which the latter should be defined?

I'm copying Daniel Colascione, since he's the one who introduced 
TERM_HEADER.

Ken