<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Mar 17, 2013 at 10:29 AM, Satish Balay <span dir="ltr"><<a href="mailto:balay@mcs.anl.gov" target="_blank">balay@mcs.anl.gov</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div id=":1uh">[this issue is fixed in<br>
<a href="https://bitbucket.org/petsc/buildsystem/commits/a3d4112fd674fc4f9d7425c3b9e009d18ebf16eb" target="_blank">https://bitbucket.org/petsc/buildsystem/commits/a3d4112fd674fc4f9d7425c3b9e009d18ebf16eb</a><br>
- but the commit is missing from the git repo]</div></blockquote></div><div class="gmail_extra"><br></div>Here now:</div><div class="gmail_extra"><br><a href="https://bitbucket.org/petsc/petsc/commits/54ca4792e985714072333c08b3a367c3596e5c4a">https://bitbucket.org/petsc/petsc/commits/54ca4792e985714072333c08b3a367c3596e5c4a</a><br>
</div></div>