mpi-forum / mpi-issues

Tickets for the MPI Forum

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

67 stars 8 forks source link

MPI 4.1 Editor Items #802

Closed wgropp closed 1 year ago

wgropp commented 1 year ago

Problem

This issue is for the collection of items identified as editor-will-fix

Proposal

Editor will fix.

Changes to the Text

By definition, no changes to the meaning in the text, but may fix punctuation, spelling, and formatting of text.

Impact on Implementations

None

Impact on Users

Improved quality of the standard document

References and Pull Requests

There will be a single PR for the editor changes (I hope!)

wgropp commented 1 year ago

PR 923 fixed this.