From: Daniel Arndt Date: Sun, 23 May 2021 00:42:03 +0000 (-0400) Subject: Merge pull request #12288 from drwells/remove-deprecated-petsc-10.0 X-Git-Tag: v9.4.0-rc1~1345 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1dd43d6df2cc1764069bfd4ae3f15edcae1871ec;p=dealii.git Merge pull request #12288 from drwells/remove-deprecated-petsc-10.0 --- 1dd43d6df2cc1764069bfd4ae3f15edcae1871ec