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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Received: by 2002:ac8:3729:: with SMTP id
 o38mr17313995qtb.276.1574776177039; Tue, 26 Nov 2019 05:49:37 -0800 (PST)
X-Received: by 2002:a9d:66a:: with SMTP id 97mr24849115otn.114.1574776176890;
 Tue, 26 Nov 2019 05:49:36 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!tr3.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!g89no812661qtd.0!news-out.google.com!o19ni51qtr.1!nntp.google.com!g89no812659qtd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 26 Nov 2019 05:49:36 -0800 (PST)
In-Reply-To: <HqWCF.8035$Dx3.5885@fx03.dcg>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=134.206.121.213;
 posting-account=iV1hDQoAAADj-LMkLVCARAp8f-n9fYeB
NNTP-Posting-Host: 134.206.121.213
References: <9bee64ac-42c4-495e-9ce6-69c306b8e3a5@googlegroups.com>
 <lyy2w8kp2o.fsf@pushface.org>
 <3ac08f1b-911b-4da5-a1ad-b32e84ee641b@googlegroups.com>
 <86d2b164-519b-4308-ba62-3f518d4f8fd2@googlegroups.com>
 <HqWCF.8035$Dx3.5885@fx03.dcg>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a72818f2-c0c7-4db9-8099-59c0390b55f5@googlegroups.com>
Subject: Re: yes another gnat bug (inherited tagged type as record field is
 too much for gnat??)
From: gerrshapovalov@gmail.com
Injection-Date: Tue, 26 Nov 2019 13:49:37 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader01.eternal-september.org comp.lang.ada:57609
Date: 2019-11-26T05:49:36-08:00
List-Id: <comp.lang.ada>

On Monday, November 25, 2019 at 9:01:52 PM UTC+1, Per Sandberg wrote:
> God work.
> And then I assume you followed the instructions and reported it to AdaCor=
e?
> /P
Not yet, in the process. First I would need to create a proper report and a=
dd it to my mini-tracker here:
https://github.com/gerr135/gnat_bugs

ACT apparently has their own tracker, but it is only for people who have su=
bscription to their product.. (Why not open the issues to be at least visib=
le to all? Maybe even let add simple comments - ACT would benefit from this=
 feedback too..)
So, the only way for a "regular person" to submit a bug reprt seems to be v=
ia email, as indicated in the bug message.. AM I missing any other way, lik=
e open tracker or something else?

I did submit bugs via email previously, but I did not get any feeback beyon=
d the original acknowledgement. And, apparently, one of the bugs was alread=
y fixed in gnat-2019. I only knew about it because I retested the bugs in m=
y tracker now, while trying to update it. So, having a visible tracker (eve=
n read-only) would be a benefit for all, including AdaCore I think..