From: Peter Munch <peterrmuench@gmail.com>
Date: Thu, 8 Sep 2022 10:32:45 +0000 (+0200)
Subject: Merge pull request #14249 from kronbichler/fix_warning2
X-Git-Tag: v9.5.0-rc1~983
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b567a5aa0ad57e7b32a54db99577f8726a05b7f9;p=dealii.git

Merge pull request #14249 from kronbichler/fix_warning2

Fix another warning about an unused variable
---

b567a5aa0ad57e7b32a54db99577f8726a05b7f9