[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