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.

Sign up for GitHub

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 main index entries for new types introduced with MPI_T events #404

Closed
mahermanns opened this issue Dec 10, 2020 · 0 comments
Closed

Fix main index entries for new types introduced with MPI_T events #404

mahermanns opened this issue Dec 10, 2020 · 0 comments
Assignees
@mahermanns
Labels
wg-tools Tools Working Group
Projects
MPI 4.0 Ratification

Comments

@mahermanns
Copy link
Member

mahermanns commented Dec 10, 2020 •
edited
Loading

Problem

MPI_T_source_order and MPI_T_cb_safety do not have a main index (underline) in the declaration index.

Proposal

Add index macros where approriate.

Changes to the Text

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

Impact on Implementations

None.

Impact on Users

None.

References

None.
@mahermanns mahermanns added mpi-4.0 wg-tools Tools Working Group labels Dec 10, 2020
@mahermanns mahermanns self-assigned this Dec 10, 2020
@mahermanns mahermanns added this to Triage in MPI 4.0 Ratification via automation Dec 10, 2020
@mahermanns mahermanns moved this from Triage to In Progress in MPI 4.0 Ratification Dec 11, 2020
@wesbland wesbland closed this as completed Jan 4, 2021
MPI 4.0 Ratification automation moved this from In Progress to Done Jan 4, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mahermanns mahermanns

Labels
wg-tools Tools Working Group
Projects
No open projects
MPI 4.0 Ratification
Done
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mahermanns @wesbland