v5.0.x: ompi/group: fix proc pointer comparison in groups#8615

gpaulsen wants to merge 1 commit intoopen-mpi:v5.0.xopen-mpi/ompi:v5.0.xfrom

gpaulsen:topic/v5.0.x/group_fix_mt_racegpaulsen/ompi:topic/v5.0.x/group_fix_mt_raceCopy head branch name to clipboard