open-mpi/ompi-release — pull request #53 by rhc54 (2014-10-24 01:43:46+00:00)
Title: Simplify PMI configure logic. Master commit:

open-mpi/ompi@75d8a7f

@jsquyres please review