Hi everyone, On behalf of the Sessions and Error Handling WGs, I would like to request that the following pull request have its first vote during the upcoming MPI Forum meeting.
# Clarification of fallback error handling for Sessions https://github.com/mpi-forum/mpi-issues/issues/511 https://github.com/mpi-forum/mpi-standard/pull/644 I will let the chairs decide if the following changeset since reading in May 2022 requires a no-no vote procedure, or is just editorial changes. https://github.com/mpi-forum/mpi-standard/pull/644/commits/a8ad84d98b38b759262fda289f8f0dd3969ae07d Thanks, Aurelien _______________________________________________ mpi-forum mailing list mpi-forum@lists.mpi-forum.org https://lists.mpi-forum.org/mailman/listinfo/mpi-forum
