From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12723 invoked by alias); 13 May 2003 06:38:47 -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 12449 invoked by uid 48); 13 May 2003 06:38:44 -0000 Date: Tue, 13 May 2003 06:39:00 -0000 Message-ID: <20030513063844.12443.qmail@sources.redhat.com> To: dannysmith@users.sourceforge.net, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, jvandyk@attglobal.net, nobody@gcc.gnu.org From: steven@gcc.gnu.org Reply-To: steven@gcc.gnu.org, dannysmith@users.sourceforge.net, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, jvandyk@attglobal.net, nobody@gcc.gnu.org, gcc-gnats@gcc.gnu.org Subject: Re: ada/6816: Makefile.adalib needs to be updated (Gigi file name changes) X-SW-Source: 2003-05/txt/msg01448.txt.bz2 List-Id: Synopsis: Makefile.adalib needs to be updated (Gigi file name changes) State-Changed-From-To: analyzed->feedback State-Changed-By: steven State-Changed-When: Tue May 13 06:38:44 2003 State-Changed-Why: Old PR -- Does it still happen? http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=6816