3120ec2b96
cmr=v1.7.5:ticket=trac:4371 This commit was SVN r31038. The following Trac tickets were found above: Ticket 4371 --> https://svn.open-mpi.org/trac/ompi/ticket/4371