sessions: oops, we made up a function#13379

hppritcha merged 1 commit intoopen-mpi:mainopen-mpi/ompi:mainfrom

hppritcha:oops_session_set_info_not_in_mpihppritcha/ompi:oops_session_set_info_not_in_mpiCopy head branch name to clipboard