![Rolf vandeVaart](/assets/img/avatar_default.png)
This was per RFC http://www.open-mpi.org/community/lists/devel/2013/09/12927.php and discussed in developers meeting. This commit was SVN r29233.
This was per RFC http://www.open-mpi.org/community/lists/devel/2013/09/12927.php and discussed in developers meeting. This commit was SVN r29233.