[MPI_Intercomm_create] Peer_comm intercommunicator is now allowed#13444

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

EmmanuelBRELLE:intercomm_as_peercomm_in_intercomm_createEmmanuelBRELLE/ompi:intercomm_as_peercomm_in_intercomm_createCopy head branch name to clipboard