Re: [firedrake] Instant and petsc4py issues with DMDA?