From: Matthias Maier Date: Fri, 5 Jul 2024 17:52:36 +0000 (+0000) Subject: Merge pull request #17207 from masterleinad/fix_clang_tidy_findings X-Git-Tag: v9.6.0-rc1~132 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=993c7b9e63e6754bc72e342e96de111263cf0985;p=dealii.git Merge pull request #17207 from masterleinad/fix_clang_tidy_findings Fix clang-tidy findings --- 993c7b9e63e6754bc72e342e96de111263cf0985