Hello, I just got some feedback that the list in the appendix had some undocumented grouping and the new error class should move to another place therein. The trivial line swapping as well as the addition of some documentation in form of a comment for the future can be seen in the following commit.
https://github.com/mpi-forum/mpi-standard/pull/633/commits/0a5197f9b928e0e691aef2407c5d2fd75de4b78c I will read this for a no-no in today's meeting. Best Christoph ----- Original Message ----- From: "niethammer" <nietham...@hlrs.de> To: "mpi-forum" <mpi-forum@lists.mpi-forum.org> Cc: "niethammer" <nietham...@hlrs.de> Sent: Wednesday, 16 February, 2022 17:38:56 Subject: [Mpi-forum] Announcment vote on #525 Hello all, For the upcoming February/March ‘22 MPI forum, I’d like to * vote on issue #525 suggesting to add a new error class MPI_ERR_ERRHANDLER issue: https://github.com/mpi-forum/mpi-issues/issues/525 PR: https://github.com/mpi-forum/mpi-standard/pull/633 This was read and passed a no-no in the December '21 meeting before. Thanks. Best, Christoph -- Christoph Niethammer High Performance Computing Center Stuttgart (HLRS) Nobelstrasse 19 70569 Stuttgart Tel: ++49(0)711-685-87203 email: nietham...@hlrs.de http://www.hlrs.de/people/niethammer _______________________________________________ mpi-forum mailing list mpi-forum@lists.mpi-forum.org https://lists.mpi-forum.org/mailman/listinfo/mpi-forum _______________________________________________ mpi-forum mailing list mpi-forum@lists.mpi-forum.org https://lists.mpi-forum.org/mailman/listinfo/mpi-forum
