v3.1.x: mtl-portals4: don't call progress() in finalize() if Portals4 was not initialized#5066

bwbarrett merged 1 commit intoopen-mpi:v3.1.xopen-mpi/ompi:v3.1.xfrom

tkordenbrock:topic/v3.1.x/mtl-portals4.finalize.fixtkordenbrock/ompi:topic/v3.1.x/mtl-portals4.finalize.fixCopy head branch name to clipboard