[petsc-dev] getting ready for PETSc release

[Barry Smith]

   We’ll be making a PETSc release in a few days so please get anything you 
need into next for testing and movement over to master.

  Barry

Tentative plan for release Wed June 11