From: Martin Kronbichler Date: Sun, 15 May 2022 14:03:47 +0000 (+0200) Subject: Merge pull request #13736 from drwells/gcc-12-warnings X-Git-Tag: v9.4.0-rc1~216 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f634c2f95c57be0f12f310756d403e612366c26e;p=dealii.git Merge pull request #13736 from drwells/gcc-12-warnings Fix some GCC-12 warnings. --- f634c2f95c57be0f12f310756d403e612366c26e