On Dec 1, 2015, at 9:42 AM, Stefano Garzarella <s.garzare...@evidence.eu.com> wrote: > > I noticed that the development repo (https://github.com/open-mpi/ompi) > doesn't have this bug, but the > release repo (https://github.com/open-mpi/ompi-release) has this bug and I > send a pull request to solve it. > (https://github.com/open-mpi/ompi-release/pull/792)
Sweet -- many thanks for filing the pull request. We'll follow up there! -- Jeff Squyres jsquy...@cisco.com For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/