From: Marc Fehling 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