Hi All,

Here are the details related to the first vote for the standalone document for the summary of the semantic terms:

Issue: https://github.com/mpi-forum/mpi-issues/issues/304
PR: https://github.com/mpi-forum/mpi-standard/pull/279
PDF: https://github.com/mpi-forum/mpi-issues/files/5581018/addendum-Semantics.pdf

Thanks,
Puri