From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,5f6322415d6639e0
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!backlog2.nntp.dca.giganews.com!nntp.posted.plusnet!news.posted.plusnet.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 02 May 2009 05:50:59 -0500
Newsgroups: comp.lang.ada
Followup-To: comp.lang.ada
From: Robert Matthews <ignored@ramatthews.free-online.co.uk>
Subject: Re: Will the defect with formal package parameters be fixed in GNAT
 GPL 2009?
Date: Sat, 02 May 2009 11:51:14 +0100
References: <558b7171-809b-4259-8679-4b4cff9de519@b6g2000pre.googlegroups.com>
 <e1b3e4ee-cd84-4b98-8b38-225ccc607705@s1g2000prd.googlegroups.com>
 <b0a3e261-c79d-4706-b6d7-bc3d6d3b1b23@p6g2000pre.googlegroups.com>
 <75p7uoF17umq6U1@mid.individual.net>
 <76bd0952-f85c-44f5-80ae-b0916a699a35@c18g2000prh.googlegroups.com>
 <qJSdnX6dAre3FmTUnZ2dnUVZ8sti4p2d@posted.plusnet>
 <wcczldwbum3.fsf@shell01.TheWorld.com>
User-Agent: KNode/0.99.01
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7Bit
Message-ID: <nfydnVDoErMOuGHUnZ2dnUVZ8vOdnZ2d@posted.plusnet>
X-Usenet-Provider: http://www.giganews.com
X-Trace: 
 sv3-nPfyGtePUiejQgeHYdxTv5mWFRofHr2b1TsCNwtZ98kxsYozs8y5MnswduLYMW0c9ltelZBv9FqOcPW!DL9MyTv8ER7MNc4gySdhBOvjnBuOcPj8ICKdfo8Cme79JZNkzT2t+cntOGNOB0yW+gFlOIe3GKJ4!VXyo5rL9TA==
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.39
X-Original-Bytes: 1923
Xref: g2news2.google.com comp.lang.ada:5651
Date: 2009-05-02T11:51:14+01:00
List-Id: <comp.lang.ada>

Robert A Duff wrote:

> I think you are mis-remembering.  AdaCore accepts bug reports (via
> report@adacore.com) from the general public.  If it turns out to
> be a real bug, AdaCore will fix it eventually.
> 

Sorry if my memory is not correct - this goes back some years now.

However, it is good to learn that report@adacore.com is a useful
channel, though it would be nice to see this on the libre web site
https://libre.adacore.com/

Robert.