Re: other/10203: version.c: bug_report_url is outdated

[Janis Johnson <janis187@us.ibm.com>]

The following reply was made to PR other/10203; it has been noted by GNATS.

From: Janis Johnson <janis187@us.ibm.com>
To: bangerth@dealii.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org,
   mmabreu@inf.ufrgs.br, nobody@gcc.gnu.org, gcc-gnats@gcc.gnu.org
Cc:  
Subject: Re: other/10203: version.c: bug_report_url is outdated
Date: Tue, 25 Mar 2003 10:46:27 -0800

 On Tue, Mar 25, 2003 at 03:49:57PM -0000, bangerth@dealii.org wrote:
 > Synopsis: version.c: bug_report_url is outdated
 > 
 > State-Changed-From-To: open->analyzed
 > State-Changed-By: bangerth
 > State-Changed-When: Tue Mar 25 15:49:56 2003
 > State-Changed-Why:
 >     Zack already confirmed this, which I do again hereby. I
 >     think this is really something that we need to clear before
 >     the next release, one way or other, so I raise the priority.
 
 Most of the GCC documentation has links to http://gcc.gnu.org.
 In gcc/doc/*.texi, the only links to http://www.gnu.org are
 for GNU docs, not mirrored GCC docs.
 
 Unless someone complains, I'll apply the patch (mainline and
 3.3-branch) and close this PR later today.
 
 Janis