I intend to merge this COB on Friday 3 June 2016:
https://github.com/open-mpi/ompi/pull/1581/filesPlease check that your name / particulars are the way you want them before then. Or be prepared to change them after I merge. :-) -- Jeff Squyres jsquy...@cisco.com For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/
