Thanks, this will be fixed in the final Ada 2022 AARM. - Randy > -----Original Message----- > From: Christoph & Ursula Grein [mailto:[email protected]] > Sent: Wednesday, January 25, 2023 12:49 PM > To: Ada-Comment List > Subject: [Ada-Comment] AARM 2022 D.6 > > !topic However, we [not] are {not} aware > > !reference Ada 2022 RM D.2.6(34.e/5) Draft 35 > > !from Grein 23-01-25 > > > > ________________________________________________________ > > You have received this message because you subscribed to the > Ada-Comment mailing list. To leave the Ada-Comment list, send > an email with 'leave Ada-Comment' in the body to > [email protected]. For help on the other commands > available, send 'help Ada-Comment' to the same address. > Problems? Send mail to [email protected]. This list is > operated by the Ada Resource Association, Inc., PO Box 8685, > New York NY 10116-8685. > > >
________________________________________________________ You have received this message because you subscribed to the Ada-Comment mailing list. To leave the Ada-Comment list, send an email with 'leave Ada-Comment' in the body to [email protected]. For help on the other commands available, send 'help Ada-Comment' to the same address. Problems? Send mail to [email protected]. This list is operated by the Ada Resource Association, Inc., PO Box 8685, New York NY 10116-8685.
