From: Matthias Maier <tamiko@43-1.org>
Date: Fri, 28 Jul 2023 05:33:52 +0000 (+0000)
Subject: Merge pull request #15788 from bangerth/petsc-no-mpi
X-Git-Tag: v9.5.2~6
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=743485196023090055a7fbf6bb14fb7f66803e22;p=dealii.git

Merge pull request #15788 from bangerth/petsc-no-mpi

[9.5] Allow compilation with PETSc but without MPI.
---

743485196023090055a7fbf6bb14fb7f66803e22