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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: Fedja Beader <fedja@protonmail.ch>
Newsgroups: comp.lang.ada
Subject: Re: GNAT Community 2019 is here!
Date: Mon, 10 Jun 2019 00:13:21 +0200
Organization: A noiseless patient Spider
Message-ID: <20190610001321.797d1e2a@blackbox.int>
References: <qd8fa2$127c$1@gioia.aioe.org>
	<f8ec209e-4d73-4212-9dad-a83ff062a77c@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Injection-Info: reader02.eternal-september.org;
 posting-host="9a7ba2b05dfb4ad1fea24b380288d0f3";
	logging-data="30057"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/6vgiEXLOO3hivAncN5Vc2"
Cancel-Lock: sha1:oVDdqlM9oQRJ9qZbonGitYfDbnc=
Xref: reader01.eternal-september.org comp.lang.ada:56591
Date: 2019-06-10T00:13:21+02:00
List-Id: <comp.lang.ada>

This is not new, my GNAT Community 2018 install is also not recognizing
the -gnat05 flag. But the band-aid is often a simple change to -gnat12
or omitting the flag altogether.

- Fedja