From: David Wells <drwells@email.unc.edu>
Date: Sun, 15 Oct 2023 22:19:58 +0000 (-0400)
Subject: Merge pull request #16147 from drwells/petsc-scalar
X-Git-Tag: relicensing~393
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1daa923e7c8d0fbcd825d1353bb8147cb86f8c1f;p=dealii.git

Merge pull request #16147 from drwells/petsc-scalar

Use PetscScalar when compressing vectors.
---

1daa923e7c8d0fbcd825d1353bb8147cb86f8c1f