From: Martin Kronbichler 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