[Commits] [EinsteinToolkit/ExternalLibraries-PETSc] 1e8fd3: PETSc: update tarball to 3.12.5

[Roland Haas]

  Branch: refs/heads/rhaas/PETSc_3.12.5
  Home:   https://github.com/EinsteinToolkit/ExternalLibraries-PETSc
  Commit: 1e8fd3bad11c554bac359de3056eae2cba4a0eff
      https://github.com/EinsteinToolkit/ExternalLibraries-PETSc/commit/1e8fd3bad11c554bac359de3056eae2cba4a0eff
  Author: Roland Haas <rhaas at illinois.edu>
  Date:   2020-06-19 (Fri, 19 Jun 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