comm_get_name: allow MPI_COMM_NULL as argument#13276
Merged
edgargabriel merged 1 commit intoopen-mpi:mainfrom May 25, 2025
Merged
comm_get_name: allow MPI_COMM_NULL as argument#13276edgargabriel merged 1 commit intoopen-mpi:mainfrom
edgargabriel merged 1 commit intoopen-mpi:mainfrom
Commits
Commits on May 25, 2025
- andcommitted