From: moy@adacore.com
Subject: Re: Additional Comment Period for Upcoming Ada Revision
Date: Mon, 29 Jul 2019 02:44:22 -0700 (PDT)
Date: 2019-07-29T02:44:22-07:00 [thread overview]
Message-ID: <ab80bf9f-b770-4a09-8ad8-2abad897a14d@googlegroups.com> (raw)
In-Reply-To: <qhgebb$gpa$1@franka.jacob-sparre.dk>
I would add that participation in the new Ada/SPARK RFC website hosted by AdaCore is very welcome for anyone who wants to influence the future of Ada and/or SPARK:
https://github.com/AdaCore/ada-spark-rfcs
Participation can come in many flavors:
- signal your opinion on Pull Requests (PR) by adding a thumb-up/thumb-down on the first message of the PR
- comment on a PR to refine your opinion
- propose an RFC as a PR for others to comment
prev parent reply other threads:[~2019-07-29 9:44 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-07-27 2:53 Additional Comment Period for Upcoming Ada Revision Randy Brukardt
2019-07-27 3:02 ` Randy Brukardt
2019-07-30 1:06 ` Stephen Leake
2019-07-29 9:44 ` moy [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox