Skip to content

Fix parameter name in MPI_Intercomm_merge()#11712

Merged
jsquyres merged 1 commit intoopen-mpi:mainfrom ggouaillardet:topic/mpi_intercomm_mergeMay 30, 2023
+15-15

Commits

Commits on May 23, 2023