Hi All,
Please find the issue and pull request related to updating semantic terms:
Issue:
https://github.com/mpi-forum/mpi-issues/issues/96
PR:
https://github.com/mpi-forum/mpi-standard/pull/116
You can also find the latest PDF file here:
https://github.com/mpi-forum/mpi-issues/files/3889258/mpi-report-issue96-25nov2019.pdf
Thanks,
Puri