Re: [petsc-dev] patch for wrong integer type