On Wed, Jun 6, 2012 at 3:51 PM, Barry Smith <[email protected]> wrote:

But this is not going to happen. If Matt fixes something in BuildSystem (for some reason not specific to something in petsc-dev he is working on) he will not doing it petsc-dev he will do it in BuildSystem.

That's fine, if it was unrelated to petsc then it sounds like PETSc didn't need the patch. If it needs the patch then there should be a commit saying so in petsc-dev.