Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix MPI Comments Information #293

Closed
wesbland opened this issue May 28, 2020 · 0 comments
Closed

Fix MPI Comments Information #293

wesbland opened this issue May 28, 2020 · 0 comments
Assignees
@wesbland
Labels
editor change Changes to be made by the document editor
Projects
Editor Pass Status MPI 4.0 Ratification

Comments

@wesbland
Copy link
Member

Problem

The URL for the MPI Comments mailing list on page ii is incorrect. The instructions also probably need updating.

Proposal

Fix the instructions

References
@wesbland wesbland added mpi-4.0 editor change Changes to be made by the document editor labels May 28, 2020
@wesbland wesbland self-assigned this May 28, 2020
@wesbland wesbland added this to Awaiting Implementation in Editor Pass Status May 28, 2020
@wesbland wesbland moved this from Awaiting Implementation to Finished Informal Reading in Editor Pass Status Jun 5, 2020
@wesbland wesbland added this to To Do in MPI 4.0 Ratification Oct 21, 2020
MPI 4.0 Ratification automation moved this from To Do to Done Oct 27, 2020
@wesbland wesbland moved this from Finished Informal Reading to Closed in Editor Pass Status Apr 7, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@wesbland wesbland

Labels
editor change Changes to be made by the document editor
Projects
No open projects
Editor Pass Status
  
Closed
MPI 4.0 Ratification
Done
Milestone
No milestone
Development

No branches or pull requests
1 participant
@wesbland