X-Received: by 2002:a05:620a:4712:b0:6a5:a071:8292 with SMTP id bs18-20020a05620a471200b006a5a0718292mr15036410qkb.179.1654505787857;
Mon, 06 Jun 2022 01:56:27 -0700 (PDT)
X-Received: by 2002:a25:cc91:0:b0:663:285a:554a with SMTP id
l139-20020a25cc91000000b00663285a554amr14153616ybf.559.1654505787635; Mon, 06
Jun 2022 01:56:27 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 6 Jun 2022 01:56:27 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=86.212.105.77; posting-account=L3mulQoAAADsXVjCD5rM6Ap3Xy0U3ckB
NNTP-Posting-Host: 86.212.105.77
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <07abf51c-7ad1-44d4-af83-00cfdb0cb8e1n@googlegroups.com>
Subject: AdaCore Blog: A New Era For Ada/SPARK Open Source Community
From: fabien.c...@gmail.com (Fabien Chouteau)
Injection-Date: Mon, 06 Jun 2022 08:56:27 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1270

Path: i2pn2.org!i2pn.org!aioe.org!6MpDoNrA+2KoZyE4OD7oYg.user.46.165.242.75.POSTED!not-for-mail
From: stephen_...@stephe-leake.org (Stephen Leake)
Newsgroups: comp.lang.ada
Subject: Re: AdaCore Blog: A New Era For Ada/SPARK Open Source Community
Date: Mon, 06 Jun 2022 09:03:25 -0700
Organization: Aioe.org NNTP Server
Message-ID: <86ilpdeq42.fsf@stephe-leake.org>
References: <07abf51c-7ad1-44d4-af83-00cfdb0cb8e1n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="10400"; posting-host="6MpDoNrA+2KoZyE4OD7oYg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (windows-nt)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:zELmyI6dNZUlbjTHlLMoTLBHB7A=