GCC headers and DJGPP port

[Eli Zaretskii]

> Date: Tue, 18 Jul 2000 10:57:40 +0200
> From: Laurynas Biveinis <lauras@softhome.net>
> 
> Eli Zaretskii wrote:
> > The problem is that we (the DJGPP maintainers) don't understand why
> > should the headers need to be ``fixed''.  As far as we know, they are
> > just fine.
> 
> This raises one more sensitive issue - remember 'minimizing the FAQs'?
> Our <stdio.h> uses va_list, at least this will be changed by fixincludes.

I'm not sure I understand what you are saying: what would fixincludes
do with va_list in stdio.h?  And why would that be a Good Thing (tm)?