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 >