<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
Hi All,
<div>
<div dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<div style="font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Here are the details related to the second vote for the standalone document for the
<span class="x_markdx7fsfmdy">summary</span> of the semantic terms:</div>
<div style="font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Issue: <a href="https://github.com/mpi-forum/mpi-issues/issues/304" target="_blank" rel="noopener noreferrer">
https://github.com/mpi-forum/mpi-issues/issues/304</a><br>
</div>
<div class="x_x__Entity x_x__EType_OWALinkPreview x_x__EId_OWALinkPreview x_x__EReadonly_1">
</div>
<div style="font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
PR: <a href="https://github.com/mpi-forum/mpi-standard/pull/279" target="_blank" rel="noopener noreferrer">
https://github.com/mpi-forum/mpi-standard/pull/279</a><br>
</div>
<div class="x_x__Entity x_x__EType_OWALinkPreview x_x__EId_OWALinkPreview_1 x_x__EReadonly_1">
</div>
<div style="font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
PDF: <a href="https://github.com/mpi-forum/mpi-issues/files/5581018/addendum-Semantics.pdf" id="LPlnk726430">
https://github.com/mpi-forum/mpi-issues/files/5581018/addendum-Semantics.pdf</a><br>
</div>
<div style="font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
There have no changes since the reading and first vote.<br>
</div>
<div style="font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Thanks,</div>
<div style="font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Puri </div>
<br>
</div>
</div>
</div>
</body>
</html>