Closed th-hlrs closed 1 year ago
https://github.com/mpi-forum/mpi-standard/pull/629 should have a change-log entry, currently missing.
Could be combined with item 8 in section B.1.1 mpi-41-rc1 if it fits in that section.
Problem
https://github.com/mpi-forum/mpi-standard/pull/629 should have a change-log entry, currently missing.
Proposal
Could be combined with item 8 in section B.1.1 mpi-41-rc1 if it fits in that section.