<div><br></div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Aug 21, 2019 at 1:44 PM Bangalore, Purushotham via mpi-forum <<a href="mailto:mpi-forum@lists.mpi-forum.org">mpi-forum@lists.mpi-forum.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">




<div dir="ltr">
<div id="m_-8032711617985461836divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif" dir="ltr">
<p style="margin-top:0;margin-bottom:0"></p>
<div>Hi All,<br>
<br>
The Semantic Terms WG would like to announce reading for update to semantic terms section along with other appropriate changes elsewhere.
<br>
<br>
Issue #96:  <a href="https://github.com/mpi-forum/mpi-issues/issues/96" class="m_-8032711617985461836OWAAutoLink" id="m_-8032711617985461836LPlnk204189" target="_blank">
https://github.com/mpi-forum/mpi-issues/issues/96</a> <br>
PR #116:  <a href="https://github.com/mpi-forum/mpi-standard/pull/116" class="m_-8032711617985461836OWAAutoLink" id="m_-8032711617985461836LPlnk434939" target="_blank">
https://github.com/mpi-forum/mpi-standard/pull/116</a> </div>
<p></p>
<p style="margin-top:0;margin-bottom:0"><br>
</p>
<p style="margin-top:0;margin-bottom:0">PDF: <a href="https://github.com/mpi-forum/mpi-standard/files/3527193/mpi32-report.pdf" class="m_-8032711617985461836OWAAutoLink" id="m_-8032711617985461836LPlnk296784" target="_blank">
https://github.com/mpi-forum/mpi-standard/files/3527193/mpi32-report.pdf</a> <br>
</p>
<p style="margin-top:0;margin-bottom:0"><br>
</p>
<p style="margin-top:0;margin-bottom:0">Thanks,<br>
Puri<br>
</p>
</div>
</div>

_______________________________________________<br>
mpi-forum mailing list<br>
<a href="mailto:mpi-forum@lists.mpi-forum.org" target="_blank">mpi-forum@lists.mpi-forum.org</a><br>
<a href="https://lists.mpi-forum.org/mailman/listinfo/mpi-forum" rel="noreferrer" target="_blank">https://lists.mpi-forum.org/mailman/listinfo/mpi-forum</a><br>
</blockquote></div></div>