<div dir="ltr">Hi Kathryn,<div><br></div><div>This PR isn't visible to folks outside of the tools WG org:</div><div><br></div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">                Pull request: <a href="https://github.com/mpiwg-tools/mpir/pull/3" rel="noreferrer" target="_blank">https://github.com/mpiwg-tools/mpir/pull/3</a></blockquote><div><br></div><div>The PR below is good.  Can you generate the above PR against the main spec repository, like the one below?</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">        Pull request #7 (<a href="https://github.com/mpi-forum/mpi-standard/pull/7" rel="noreferrer" target="_blank">https://github.com/mpi-forum/mpi-standard/pull/7</a>)<br></blockquote><div><br></div><div>Thanks,</div><div> ~Jim.</div></div></div></div>