Re: [petsc-dev] Patch to fix vector allocation in ksp-fcg