Revert "Bump prrte and openpmix to latest release tags"#12335
Merged
janjust merged 1 commit intoopen-mpi:v5.0.xfrom Feb 15, 2024
Merged
Revert "Bump prrte and openpmix to latest release tags"#12335janjust merged 1 commit intoopen-mpi:v5.0.xfrom
janjust merged 1 commit intoopen-mpi:v5.0.xfrom
