[Mpi-forum] No-no vote for PR #714 Issue #580

[Jim Dinan]

Hi All,

Apologies that I did not send this sooner. We incorporated two small
changes at the Hybrid WG meeting on March 1st that I would like to process
with a no-no vote this week. Here are the links:

https://github.com/mpi-forum/mpi-standard/pull/714/commits/03318ba23b293bf4b9a09116db0db20c7968d597
https://github.com/mpi-forum/mpi-standard/pull/714/commits/3a024ba2af890ed799b731111d05a92ebea95802

Thanks,
 ~Jim.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-forum.org/pipermail/mpi-forum/attachments/20230313/364dd552/attachment.html>