From: David Wells Date: Wed, 27 Jul 2022 15:06:26 +0000 (-0400) Subject: Merge pull request #9937 from masterleinad/remove_even_more_deprecation X-Git-Tag: v9.5.0-rc1~1061 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=664a66fc6f7a5af7feef246c6c03f86ecb7c3341;p=dealii.git Merge pull request #9937 from masterleinad/remove_even_more_deprecation Remove PETScWrappers deprecations --- 664a66fc6f7a5af7feef246c6c03f86ecb7c3341