<div><a href="http://petsc.cs.iit.edu/petsc/petsc-dev/rev/3e8229e78095">http://petsc.cs.iit.edu/petsc/petsc-dev/rev/3e8229e78095</a></div><div><br></div><div>I'm having trouble understanding the justification that you gave in the commit message...</div>
<div><br></div><div>Also, that comment format is not allowed in PETSc code.</div>