[petsc-dev] bug fixes etc go into PETSc 3.1

[Barry Smith]

   PETSc developers,

     Anyone fixing bugs in PETSc, fixing documentation etc when  
possible please make the fixes in the PETSc 3.1 repository ssh://petsc@petsc.cs.iit.edu//hg/petsc/petsc-release-3.1 
  instead of in PETSc-dev. Just keep a clone of the 3.1 repository  
around and then making the fixes in 3.1 is no more time consuming then  
in dev and every one will benefit.

     Of course, large changes and new development should always be  
done in petsc-dev.

   Thanks

     Barry