[petsc-dev] managing moving patches in pets 3.3. to petsc-dev?

[Barry Smith]

    I put a couple patches in petsc-3.3  can a skilled person (Satish?)  please 
push them up to petsc-dev ?

      Thanks

    Barry