<div dir="ltr"><div>The green bits here:</div><div><br></div><a href="https://bitbucket.org/petsc/petsc/commits/b9693abc333a4cb54c29596de4de4a2160c61cc0">https://bitbucket.org/petsc/petsc/commits/b9693abc333a4cb54c29596de4de4a2160c61cc0</a><div><br></div><div>ain't proper Python. Breaks config. Not sure how this gets past your testing . . . . </div><div><br></div><div>Garth</div><div><div class="gmail_signature"><br></div>
</div></div>