v4.1.x: Bull 2020 update of coll/han#8437

EmmanuelBRELLE wants to merge 1 commit intoopen-mpi:v4.1.xopen-mpi/ompi:v4.1.xfrom

EmmanuelBRELLE:patch_Han_Bull_2020H2EmmanuelBRELLE/ompi:patch_Han_Bull_2020H2Copy head branch name to clipboard