open-mpi/ompi-release — pull request #17 by ggouaillardet (2014-10-10 05:37:17+00:00)
Title: coll/sm: fix minor memory leak

this is a backport of commit 5d44a30111e730c1a6a9aef19548b87e704316de in master