Skip to content

Conversation

jsquyres
Copy link
Member

All the items in the "to-do" section are now github issues, so we can just remove the "to-do" section entirely.

jsquyres added 2 commits June 17, 2022 10:10
Moved all the to-do items to the following github issues:

* open-mpi#10479
* open-mpi#10480
* open-mpi#10481

Signed-off-by: Jeff Squyres <[email protected]>
Signed-off-by: Jeff Squyres <[email protected]>
@jsquyres jsquyres merged commit c21033e into open-mpi:main Jun 17, 2022
@jsquyres jsquyres deleted the pr/docs-updates branch June 17, 2022 16:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants