Hi Jim,

Here’s the pull request against the MPI Forum repository for the MPIR issue #5:

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

Thanks for pointing that out!

Kathryn

_________________________________________________________________

Kathryn Mohror, kathryn@llnl.gov, http://scalability.llnl.gov/

Scalability Team @ Lawrence Livermore National Laboratory, Livermore, CA, USA

From: Jim Dinan [mailto:james.dinan@gmail.com]
Sent: Monday, November 23, 2015 6:27 PM
To: Kathryn Mohror; Main MPI Forum mailing list
Subject: Re: [Mpi-forum] Tools Readings for San Jose

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.