Skip to content

ompi/group: fix race condition in group operations#8547

Merged
awlauria merged 1 commit intoopen-mpi:masterfrom
AboorvaDevarajan:fix_group_op
Mar 11, 2021
Merged

ompi/group: fix race condition in group operations#8547
awlauria merged 1 commit intoopen-mpi:masterfrom
AboorvaDevarajan:fix_group_op

Commits

Commits on Mar 10, 2021