From: Matthias Maier Date: Tue, 4 Jul 2023 18:44:33 +0000 (+0000) Subject: Merge pull request #15401 from masterleinad/cppcheck_9_5 X-Git-Tag: relicensing~757 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=17a1a2aba108deaae4c6bd1dcd0ea6124db5d492;p=dealii.git Merge pull request #15401 from masterleinad/cppcheck_9_5 [Post-9.5] Address some cppcheck findings --- 17a1a2aba108deaae4c6bd1dcd0ea6124db5d492