[mpiwg-tools] MPIR_being_debugger

[Jeff Squyres (jsquyres)]

Per discussion on the webex today, I merged the tools pull request into the integration branch.

I amended the MPI Forum issue with a new PDF and text:

    https://github.com/mpi-forum/mpi-issues/issues/5

And created an MPI Forum pull request (based on the same branch as the tools WG branch that we all agreed to today):

    https://github.com/mpi-forum/mpir/pull/1

-- 
Jeff Squyres
jsquyres at cisco.com
For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/