mpi-forum / mpi-issues

Tickets for the MPI Forum

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

67 stars 8 forks source link

Change-log typos #753

Closed th-hlrs closed 1 year ago

th-hlrs commented 1 year ago

Problem

Change-log has some typos.

Proposal

Fix them.

Changes to the Text

Lesser typos.

References and Pull Requests

https://github.com/mpi-forum/mpi-standard/pull/881