From: Martin Kronbichler <martin.kronbichler@uni-a.de>
Date: Fri, 15 Sep 2023 08:24:27 +0000 (+0200)
Subject: Merge pull request #15990 from bangerth/simplify
X-Git-Tag: relicensing~505
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=018b99a823cc19c3d43de2b2b28e5af1c6bbaf0a;p=dealii.git

Merge pull request #15990 from bangerth/simplify

Simplify some code.
---

018b99a823cc19c3d43de2b2b28e5af1c6bbaf0a