v5.0.x: request: correctly handle MPI_COMM_NULL#12984
Closed
janjust wants to merge 0 commit intoopen-mpi:v5.0.xfrom
Closed
v5.0.x: request: correctly handle MPI_COMM_NULL#12984janjust wants to merge 0 commit intoopen-mpi:v5.0.xfrom
janjust wants to merge 0 commit intoopen-mpi:v5.0.xfrom
Commits
No commits history
There isn't any commit history to show here.