ompi/oshmem: fix bug in shmem_finalize.#5012

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

xinzhao3:topic/shmem-final-v3.0.xxinzhao3/ompi:topic/shmem-final-v3.0.xCopy head branch name to clipboard