#259: Update PETSc to 3.1p7 --------------------------+------------------------------------------------- Reporter: eschnett | Owner: Type: enhancement | Status: closed Priority: minor | Milestone: Component: Cactus | Version: Resolution: duplicate | Keywords: --------------------------+------------------------------------------------- Changes (by eschnett):
* status: new => closed * resolution: => duplicate
Comment:
Superceded by #431.