From: Wolfgang Bangerth Date: Sat, 17 May 2025 04:54:12 +0000 (-0600) Subject: Merge pull request #18459 from drwells/fix-petsc-index-set X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ccc124ab5a2e34a66bda683f233a557402acdcfe;p=dealii.git Merge pull request #18459 from drwells/fix-petsc-index-set Fix `IndexSet::make_petsc_is()`. --- ccc124ab5a2e34a66bda683f233a557402acdcfe