Signed-off-by: Ben Menadue <ben.menadue@nci.org.au> (back-ported from commit open-mpi/ompi@34ec0bd8ab) Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp>
Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp>