Fix MPIR_proctable structure visibility#4905

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

jjhursey:fix/v3.1.x/mpir-symbol-vijjhursey/ompi:fix/v3.1.x/mpir-symbol-viCopy head branch name to clipboard