GCC 3.1 Issues

[Robert Dewar]

<<Directing bug reports to gcc-bugs@gcc.gnu.org is not optimal since such
bug reports are not filed in a bug tracking system.  Instead users should
be told "See <URL:http://www.gnu.org/software/gcc/bugs.html> for
instructions.", as is done elsewhere in the compiler (and that URL
describes the available means of submitting bug reports, and will be
updated if they change).  Perhaps you could contribute some instructions
to that page, describing how Ada bug reporting differs from that for C?
>>

OK, we will make sure that the sources are appropriately adjusted in both
respects.