open-mpi/ompi-release — pull request #107 by jsquyres (2014-12-04 11:06:43+00:00)
Title: debuggers: update warning messages when types not found

Fixes #302.

Trivial help message update to be more clear when the debugger plugins can't find Open MPI type information. Suggested by @loveshack.

(cherry picked from commit open-mpi/ompi@a71b5dd5c76a78060b4e151f3d193b541397c550)