v5.0.x: mpi4py add -x test_doc set ubuntu 22.04#13302

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

janjust:v5.0.xjanjust/ompi:v5.0.xCopy head branch name to clipboard