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

[Satish Balay]

pushed now

satish

On Fri, 31 Aug 2012, Barry Smith wrote:

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