From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 29135 invoked by alias); 25 Mar 2003 18:46:01 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 29098 invoked by uid 71); 25 Mar 2003 18:46:00 -0000 Date: Tue, 25 Mar 2003 18:46:00 -0000 Message-ID: <20030325184600.29093.qmail@sources.redhat.com> To: nobody@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: Janis Johnson Subject: Re: other/10203: version.c: bug_report_url is outdated Reply-To: Janis Johnson X-SW-Source: 2003-03/txt/msg01727.txt.bz2 List-Id: The following reply was made to PR other/10203; it has been noted by GNATS. From: Janis Johnson 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