This commit was SVN r20707. The following SVN revision numbers were found above: r20706 --> open-mpi/ompi@248bbb8a2f