search

mpi-forum / mpi-issues

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

change-log entry missing for PR 827 #775

Closed th-hlrs closed 2 weeks ago

th-hlrs commented 1 year ago

Problem

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