From: Timo Heister Date: Sun, 20 Sep 2020 17:29:38 +0000 (-0400) Subject: Merge pull request #10938 from masterleinad/fix_gcc-10-warnings X-Git-Tag: v9.3.0-rc1~1097 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8bcd0339426777c89bc5876d4426ce9c3156ebb7;p=dealii.git Merge pull request #10938 from masterleinad/fix_gcc-10-warnings Fix some more gcc-10 warnings --- 8bcd0339426777c89bc5876d4426ce9c3156ebb7