Skip to content

Conversation

@jsquyres
Copy link
Member

@jsquyres jsquyres commented Sep 8, 2022

Signed-off-by: Thomas Naughton [email protected]
Co-authored-by: Jeff Squyres [email protected]

Signed-off-by: Thomas Naughton <[email protected]>
Co-authored-by: Jeff Squyres <[email protected]>
@jsquyres jsquyres merged commit e3b93c7 into open-mpi:main Sep 9, 2022
@jsquyres jsquyres deleted the pr/declspec-developer-docs branch September 9, 2022 15:18
@jsquyres
Copy link
Member Author

jsquyres commented Sep 9, 2022

Thanks @naughtont3; I added the commit on this PR to #10772.

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