From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 6354 invoked by alias); 8 Oct 2002 22:06:02 -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 6335 invoked by uid 71); 8 Oct 2002 22:06:01 -0000 Date: Tue, 08 Oct 2002 15:06:00 -0000 Message-ID: <20021008220601.6333.qmail@sources.redhat.com> To: gerald@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: Gerald Pfeifer Subject: Re: web/8168: What is the preferred means of reporting bugs? Reply-To: Gerald Pfeifer X-SW-Source: 2002-10/txt/msg00307.txt.bz2 List-Id: The following reply was made to PR web/8168; it has been noted by GNATS. From: Gerald Pfeifer To: Janis Johnson Cc: gcc-gnats@gcc.gnu.org Subject: Re: web/8168: What is the preferred means of reporting bugs? Date: Tue, 8 Oct 2002 23:56:47 +0200 (CEST) On Tue, 8 Oct 2002, Janis Johnson wrote: > I changed gnats.html without noticing that the heading is "gccbug and > gnatsweb", and that gccbug is mentioned later in the page, in the part > about including large test cases. > > Do we want to continue to document gccbug, or should those references > to it be removed? I believe there were some arguments to keep it (at least for the time being), but deprecate it as much as possible. Gerald