From: Wolfgang Bangerth Date: Thu, 21 Dec 2023 14:55:53 +0000 (-0700) Subject: Merge pull request #16375 from drwells/fix-warning X-Git-Tag: relicensing~232 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=02bb9b2eb8e48b05c1ffa94ca2f7320d7dc48741;p=dealii.git Merge pull request #16375 from drwells/fix-warning Fix an unused variable warning. --- 02bb9b2eb8e48b05c1ffa94ca2f7320d7dc48741