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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: =?UTF-8?Q?Markus_Sch=c3=b6pflin?= <no.spam@spam.spam>
Newsgroups: comp.lang.ada
Subject: Re: bug in gnatgpl 2015?
Date: Tue, 1 Sep 2015 09:44:30 +0200
Organization: Aioe.org NNTP Server
Message-ID: <ms3l0t$ajt$1@speranza.aioe.org>
References: <32c623ac-817e-46fc-bb13-c77b47a506a7@googlegroups.com>
 <ee418ae3-c23e-4552-9d65-5dcc63db76fc@googlegroups.com>
NNTP-Posting-Host: MdpKeRr+sx3LK7JQiK5aNw.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101
 Thunderbird/38.2.0
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:27667
Date: 2015-09-01T09:44:30+02:00
List-Id: <comp.lang.ada>

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