sessions: fix some problems with multiple init/fini#12883
Merged
janjust merged 1 commit intoopen-mpi:v5.0.xfrom Oct 30, 2024
Merged
sessions: fix some problems with multiple init/fini#12883janjust merged 1 commit intoopen-mpi:v5.0.xfrom
janjust merged 1 commit intoopen-mpi:v5.0.xfrom
