[Commits] [EinsteinToolkit/ExternalLibraries-PETSc] 2ccee9: PETSc: update tarball to 3.12.5

[Roland Haas]

  Branch: refs/heads/master
  Home:   https://github.com/EinsteinToolkit/ExternalLibraries-PETSc
  Commit: 2ccee9ed5434eec11f2363db5a4ec8bfc450480d
      https://github.com/EinsteinToolkit/ExternalLibraries-PETSc/commit/2ccee9ed5434eec11f2363db5a4ec8bfc450480d
  Author: Roland Haas <rhaas at illinois.edu>
  Date:   2020-07-27 (Mon, 27 Jul 2020)

  Changed paths:
    A dist/petsc-3.12.5.tar.gz
    R dist/petsc-3.5.2.tar.gz
    M src/build.sh

  Log Message:
  -----------
  PETSc: update tarball to 3.12.5

this avoids issues with compiling for newer versions of OpenMPI that
remove outdated handler prototypes