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/

Reply via email to