The resolution to forward the revised SPARK Part of 24772 to WG 23 for publication has passed. The final vote was as follows:

11 in favor
2 Abstentions
0 Against



                 ISO/IEC JTC1/SC22/WG9 N628
                                                     
                       11 March 2022

This is a WG 9 email ballot for approval to send the revised version of 24772-6 (the SPARK Part, WG 23 N1156-WD), to WG 23. 

As you may recall, WG 9 voted on an earlier draft but members also made significant suggestions. WG 23 made changes in response and has now to sent the updated document to WG 9 for this final review.

The revision is available online in the WG 9 document repository (as N629) in Word and PDF. The URLs are:

http://www.open-std.org/jtc1/sc22/wg9/n629-WG23_N1156-wd-24772-6-SPARK-for-final-WG23-review-clean-20220310.docx

http://www.open-std.org/jtc1/sc22/wg9/n629-WG23_N1156-wd-24772-6-SPARK-for-final-WG23-review-clean-20220310.pdf


The ballot is conducted on the following resolution: 

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

You should respond to wg9@ada-auth.org on or before 1 April 2022 with a vote 
of Yes, No, or Abstain. If you vote No, please provide a reason.