Last editing fixes for 5.0 #994
Labels
editor change
Changes to be made by the document editor
mpi-5.0
For inclusion in the MPI 5.0 standard
scheduled no-no vote
No-No vote is scheduled for the next meeting
scheduled reading
Reading is scheduled for the next meeting
Milestone
Problem
In reviewing the March RC, a few minor editing problems were found
Proposal
Correct the problems. These do not change the text, other than correcting example titles (removing index commands for the form "!subitem") and correcting capitalization for section titles and index entries.
Changes to the Text
As above
Impact on Implementations
None
Impact on Users
Improved readability of the standard
References and Pull Requests
The text was updated successfully, but these errors were encountered: