ISO/IEC JTC1/SC22/WG9 N626
                                                     
                       19 November 2021

This is a WG 9 email ballot for approval to send the revised version of 24772-6 (the SPARK Part, WG23 N1080), to WG 23. This version was revised in response to the changes requested by WG 9.

The revision is available online in the WG 9 document repository as N625 in Word and PDF. The PDF version shows all markups, for convenient comparison. The URLs are:

http://www.open-std.org/jtc1/sc22/wg9/n625-ISO-IECJTC1-SC22-WG23-WG9-Part6.docx
http://www.open-std.org/jtc1/sc22/wg9/n625-ISO-IECJTC1-SC22-WG23-WG9-Part6_with_markup.pdf


The ballot is conducted on the following resolution: 

  The revised version of 24772-6 will be forwarded to WG 23 for acceptance and publication.

You should respond to wg9@ada-auth.org by 6 December 2021 with a vote 
of Yes, No, or Abstain. If you vote No, please provide a reason.