mpi-forum / mpi-issues

Tickets for the MPI Forum

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

67 stars 8 forks source link

Minor text updates from 4.1-rc1 review #783

Closed mahermanns closed 1 year ago

mahermanns commented 1 year ago

Problem

Minor inconsistencies identified during 4.1-rc1 review

Proposal

Update text

Changes to the Text

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

Impact on Implementations

None

Impact on Users

Improved reading experience

References and Pull Requests