7de2a14d5c
backwards -- should have done the work on the trunk and merged to the v1.1 branch). This commit was SVN r11447. The following SVN revision numbers were found above: r11434 --> open-mpi/ompi@50d1587b10 r11444 --> open-mpi/ompi@bb4d7fac0e