From: Martin Kronbichler <martin.kronbichler@rub.de>
Date: Tue, 20 Aug 2024 07:53:20 +0000 (+0200)
Subject: Merge pull request #17572 from bangerth/warning
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=88e6e699da18c8714693b0cdf41e85833ccb27ef;p=dealii.git

Merge pull request #17572 from bangerth/warning

Suppress a warning about an unused variable.
---

88e6e699da18c8714693b0cdf41e85833ccb27ef