From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 20882 invoked by alias); 8 May 2002 04:20:58 -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 20834 invoked by uid 61); 8 May 2002 04:20:57 -0000 Date: Tue, 07 May 2002 21:20:00 -0000 Message-ID: <20020508042057.20833.qmail@sources.redhat.com> To: apbianco@gcc.gnu.org, bryce@albatross.co.nz, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, java-prs@gcc.gnu.org, tromey@gcc.gnu.org From: tromey@gcc.gnu.org Reply-To: tromey@gcc.gnu.org, apbianco@gcc.gnu.org, bryce@albatross.co.nz, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, java-prs@gcc.gnu.org, tromey@gcc.gnu.org, gcc-gnats@gcc.gnu.org Subject: Re: java/1343: local classes are named incorrectly X-SW-Source: 2002-05/txt/msg00214.txt.bz2 List-Id: Synopsis: local classes are named incorrectly Responsible-Changed-From-To: apbianco->tromey Responsible-Changed-By: tromey Responsible-Changed-When: Tue May 7 21:20:57 2002 Responsible-Changed-Why: I'm testing a patch for this. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=1343