open-mpi/ompi-release — pull request #66 by jsquyres (2014-10-31 10:27:02+00:00)
Title: ob1 destructor fix #2

Minor fix to ensure that the request destructor is always called in ob1, even in error cases.

Submitted by @bosilca / @jsquyres, reviewed by @jsquyres / @bosilca.