From: Matthias Maier Date: Wed, 27 Jul 2022 21:52:56 +0000 (-0500) Subject: Merge pull request #14161 from drwells/petsc-cleanup-1 X-Git-Tag: v9.5.0-rc1~1060 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=abec7529dedc5a3dc09b04b59627b21724afd644;p=dealii.git Merge pull request #14161 from drwells/petsc-cleanup-1 Bump the minimum PETSc version number. --- abec7529dedc5a3dc09b04b59627b21724afd644