This commit was SVN r12963. The following SVN revision numbers were found above: r12878 --> open-mpi/ompi@190e7a27cd