Howard Pritchard Wed, 5 Aug 2015 11:14:01 -0400 (EDT)
HI Folks, There's a new branch on open-mpi/ompi repo.
Is this intentional? Howard