[petsc-dev] unwind next branch
Jose E. Roman
jroman at dsic.upv.es
Wed Sep 10 08:38:33 CDT 2014
> origin/jose/mumps-bugfix
--> remove (those fixes have already been included in other commits by Hong.)
Jose
More information about the petsc-dev
mailing list