From: Marc Fehling <mafehling.git@gmail.com>
Date: Wed, 28 Aug 2024 04:50:43 +0000 (-0600)
Subject: Merge pull request #17621 from bangerth/simplify-test
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b1d438a3f655d087c9c571a636cc78ab82d81825;p=dealii.git

Merge pull request #17621 from bangerth/simplify-test

Simplify a test.
---

b1d438a3f655d087c9c571a636cc78ab82d81825