Re: [petsc-dev] Adding p4est to nightly tests