From: joakimds@kth.se
Subject: Re: yes another gnat bug (inherited tagged type as record field is too much for gnat??)
Date: Mon, 2 Dec 2019 02:02:30 -0800 (PST)
Date: 2019-12-02T02:02:30-08:00 [thread overview]
Message-ID: <54699f59-06eb-40c0-993c-f6941d77c04d@googlegroups.com> (raw)
In-Reply-To: <ba96c2a3-4899-41c8-8a86-bea6884cf6d7@googlegroups.com>
Den måndag 2 december 2019 kl. 10:02:14 UTC+1 skrev George Shapovalov:
> I am happy to report that I just got a feedback to my (very recently submitted) bug report - they fixed it, and the fix is already in their current development version.
>
> Thanks to AdaCore for the prompt reaction! Great job!
Nice! :)
next prev parent reply other threads:[~2019-12-02 10:02 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-11-22 13:26 yes another gnat bug (inherited tagged type as record field is too much for gnat??) gerrshapovalov
2019-11-22 13:33 ` gerrshapovalov
2019-11-22 13:39 ` Simon Wright
2019-11-22 13:57 ` gerrshapovalov
2019-11-25 19:31 ` gerrshapovalov
2019-11-25 20:01 ` Per Sandberg
2019-11-26 13:49 ` gerrshapovalov
2019-11-26 16:09 ` joakimds
2019-11-26 17:09 ` gerrshapovalov
2019-11-26 18:01 ` Simon Wright
2019-12-02 9:02 ` George Shapovalov
2019-12-02 10:02 ` joakimds [this message]
2019-12-02 17:12 ` Optikos
2019-12-02 17:50 ` AdaMagica
2019-12-02 19:51 ` George Shapovalov
2019-12-02 20:18 ` Simon Wright
2019-12-02 21:02 ` Optikos
2019-12-09 13:44 ` charlet
2019-12-10 12:12 ` charlet
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox