From: Marc Fehling <mafehling.git@gmail.com>
Date: Thu, 25 Jan 2024 02:03:07 +0000 (-0700)
Subject: Merge pull request #16533 from bangerth/test-cleanup
X-Git-Tag: relicensing~111
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b0bac1ef88f8d56a878a476eb89c32e7b736ff24;p=dealii.git

Merge pull request #16533 from bangerth/test-cleanup

Clean up a test.
---

b0bac1ef88f8d56a878a476eb89c32e7b736ff24