From: Luca Heltai Date: Fri, 21 Jul 2023 07:02:34 +0000 (+0200) Subject: Merge pull request #15768 from luca-heltai/stefanozampini/strict-petscerror X-Git-Tag: relicensing~663 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a5a7173ec170ad5410cf058a0123ff7d98ce8ade;p=dealii.git Merge pull request #15768 from luca-heltai/stefanozampini/strict-petscerror PETScWrappers: Support with-strict-petscerrorcode configurations --- a5a7173ec170ad5410cf058a0123ff7d98ce8ade