From: "Markus Schöpflin" <no.spam@spam.spam>
Subject: Re: bug in gnatgpl 2015?
Date: Tue, 1 Sep 2015 09:44:30 +0200
Date: 2015-09-01T09:44:30+02:00 [thread overview]
Message-ID: <ms3l0t$ajt$1@speranza.aioe.org> (raw)
In-Reply-To: ee418ae3-c23e-4552-9d65-5dcc63db76fc@googlegroups.com
Am 01.09.2015 um 02:33 schrieb Leo Brewin:
> But given that the bug does not exist in gnat-pro is there any point in sending in this report?
As the bug is already fixed in the latest GnatPRO, there really is no point in
submitting the report. It will most likely be fixed in the 2016 GPL version.
Markus
next prev parent reply other threads:[~2015-09-01 7:44 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-08-31 7:34 bug in gnatgpl 2015? Leo Brewin
2015-08-31 8:48 ` Simon Wright
2015-08-31 9:19 ` Leo Brewin
2015-08-31 10:51 ` Peter Chapin
2015-08-31 15:54 ` Anh Vo
2015-08-31 23:33 ` Anh Vo
2015-08-31 23:37 ` Leo Brewin
2015-08-31 23:55 ` Leo Brewin
2015-08-31 23:35 ` Leo Brewin
2015-09-01 0:33 ` Leo Brewin
2015-09-01 1:24 ` Anh Vo
2015-09-01 12:42 ` Simon Wright
2015-09-01 7:44 ` Markus Schöpflin [this message]
2015-09-01 9:17 ` G.B.
2015-09-01 13:43 ` ahlan
2015-09-01 13:45 ` ahlan
2015-09-10 7:31 ` Jerry van Dijk
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox