Discussed and fix committed upstream (see http://www.open-mpi.org/community/lists/devel/2008/08/4607.php and follow-ups).
Discussed and fix committed upstream (see http:// www.open- mpi.org/ community/ lists/devel/ 2008/08/ 4607.php and follow-ups).