[petsc-dev] petsc release soon

[Barry Smith]

  Satish,

    We need to make a petsc release very soon so please check the nightly 
builds and let the appropriate people know of problems.

    Thanks

    Barry