09cd970ec7
allowing further cleanup. This commit was SVN r22207. The following SVN revision numbers were found above: r22205 --> open-mpi/ompi@366bd96c88