Skip to content

Conversation

@AboorvaDevarajan
Copy link
Member

Signed-off-by: Aboorva Devarajan [email protected]

@ompiteam-bot
Copy link

Can one of the admins verify this patch?

@hoopoepg
Copy link
Contributor

ok to test

@nysal nysal merged commit 992e8f9 into open-mpi:master Oct 20, 2020
@AboorvaDevarajan AboorvaDevarajan deleted the fix_zero2 branch October 21, 2020 15:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants