0ff11f7523
pointer. This commit fixes trac:1420. This commit was SVN r19089. The following Trac tickets were found above: Ticket 1420 --> https://svn.open-mpi.org/trac/ompi/ticket/1420