open-mpi/ompi-release — pull request #92 by edgargabriel (2014-11-12 17:38:14+00:00)
Title: fix a bug in the aggregator selection algorithm where processes might no...

...t go through either the if nor the else part.