request: correctly handle MPI_COMM_NULL#12944

janjust merged 1 commit intoopen-mpi:mainopen-mpi/ompi:mainfrom

ggouaillardet:topic/request_same_instanceggouaillardet/ompi:topic/request_same_instanceCopy head branch name to clipboard