[Mpi-forum] Tools Readings for San Jose

[Jim Dinan]

Hi Kathryn,

This PR isn't visible to folks outside of the tools WG org:

                Pull request: https://github.com/mpiwg-tools/mpir/pull/3


The PR below is good.  Can you generate the above PR against the main spec
repository, like the one below?


>         Pull request #7 (https://github.com/mpi-forum/mpi-standard/pull/7)
>

Thanks,
 ~Jim.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-forum.org/pipermail/mpi-forum/attachments/20151123/b774d9bb/attachment-0001.html>