From: "Mark E." <snowball3 AT bigfoot DOT com>
To: djgpp-workers AT delorie DOT com
Date: Sun, 3 Dec 2000 16:55:14 -0500
MIME-Version: 1.0
Content-type: text/plain; charset=US-ASCII
Content-transfer-encoding: 7BIT
Subject: Re: Patch: make GCC & DJGPP headers compatible
Message-ID: <3A2A7AF2.3063.1A4BB1F@localhost>
In-reply-to: <3A2A4FD7.FD144615@softhome.net>
X-mailer: Pegasus Mail for Win32 (v3.12c)
Reply-To: djgpp-workers AT delorie DOT com
Errors-To: nobody AT delorie DOT com
X-Mailing-List: djgpp-workers AT delorie DOT com
X-Unsubscribes-To: listserv AT delorie DOT com
Precedence: bulk

> Eli Zaretskii wrote:
> However, if I'm the only one who cares, and the others feel comfortable
> with this change, feel free to disregard me and commit the changes.

Fixincludes really shouldn't be considered a solution, but a warning of a 
problem to be fixed. Especially since DJGPP's headers can easily be changed. 
Making DJGPP's headers compatible with the ones provided by GCC is a good 
thing in my opinion. So FWIW, I think the patch is fine, but my name isn't DJ 
either.

Mark