From: Peter Munch 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