search

mpi-forum / mpi-issues

Tickets for the MPI Forum
http://www.mpi-forum.org/
67 stars 8 forks source link

Add change-log for PR #830 #774

Closed th-hlrs closed 1 year ago

th-hlrs commented 1 year ago

Problem

PR https://github.com/mpi-forum/mpi-standard/pull/830 should have a change-log entry.