From: Marc Fehling <mafehling.git@gmail.com>
Date: Thu, 21 Jul 2022 08:27:24 +0000 (+0200)
Subject: Merge pull request #110 from bangerth/fixes-2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a1f5b62d52566cda0396c1110ac0f0a7036b3180;p=code-gallery.git

Merge pull request #110 from bangerth/fixes-2

Fix the remaining compiler errors.
---

a1f5b62d52566cda0396c1110ac0f0a7036b3180