![Jeff Squyres](/assets/img/avatar_default.png)
supposed to do, and there's disagreement about whether the concept that it was supposed to do was the Right Thing anyway. http://www.open-mpi.org/community/lists/devel/2010/07/8223.php This commit was SVN r23517. The following SVN revision numbers were found above: r23495 --> open-mpi/ompi@32e6dae8b0