mpi-forum / mpi-issues

Tickets for the MPI Forum

http://www.mpi-forum.org/

67 stars 8 forks source link

Closed th-hlrs closed 1 year ago

th-hlrs commented 1 year ago

Problem

https://github.com/mpi-forum/mpi-standard/pull/663 should have a change-log entry, currently missing.