Re: [petsc-dev] PETSc blame digest (next) 2016-07-02