Re: [petsc-dev] About the future XXXDestroy(&obj) change