From: Matthias Maier Date: Fri, 7 Jul 2023 04:54:46 +0000 (+0000) Subject: Merge pull request #15673 from tamiko/fix_warning X-Git-Tag: relicensing~733 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7c7ca6a7349b761b1e557d9b888bf8de13cd0765;p=dealii.git Merge pull request #15673 from tamiko/fix_warning matrix_free/fe_evaluation.h: avoid a warning with g++-13 --- 7c7ca6a7349b761b1e557d9b888bf8de13cd0765