v5.0.x: Always populate failed procs in comms' groups#13510
Merged
janjust merged 1 commit intoopen-mpi:v5.0.xfrom Dec 8, 2025
Merged
v5.0.x: Always populate failed procs in comms' groups#13510janjust merged 1 commit intoopen-mpi:v5.0.xfrom
janjust merged 1 commit intoopen-mpi:v5.0.xfrom