sessions: fix some problems with multiple init/fini#12868
Merged
hppritcha merged 1 commit intoopen-mpi:mainfrom Oct 23, 2024
Merged
sessions: fix some problems with multiple init/fini#12868hppritcha merged 1 commit intoopen-mpi:mainfrom
hppritcha merged 1 commit intoopen-mpi:mainfrom