configure: --with-prrte=internal would be ignored#13209
Merged
jsquyres merged 1 commit intoopen-mpi:mainfrom May 3, 2025
Merged
configure: --with-prrte=internal would be ignored#13209jsquyres merged 1 commit intoopen-mpi:mainfrom
jsquyres merged 1 commit intoopen-mpi:mainfrom
