[Mpi-forum] Tools Readings for San Jose

Jim Dinan james.dinan at gmail.com
Mon Nov 23 20:27:14 CST 2015

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)

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

More information about the mpi-forum mailing list