master: Bull 2020 update of coll/han#8462

ggouaillardet merged 1 commit intoopen-mpi:masteropen-mpi/ompi:masterfrom

EmmanuelBRELLE:patch_Han_Bull_2020H2-master-rebasedEmmanuelBRELLE/ompi:patch_Han_Bull_2020H2-master-rebasedCopy head branch name to clipboard