From: Daniel Arndt Date: Fri, 8 May 2020 23:33:44 +0000 (-0400) Subject: Merge pull request #10099 from kronbichler/fix_compile_gcc10 X-Git-Tag: v9.2.0-rc1~68 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=57b0b7219e0c91e8a8b298f78c341ffee84b83d1;p=dealii.git Merge pull request #10099 from kronbichler/fix_compile_gcc10 --- 57b0b7219e0c91e8a8b298f78c341ffee84b83d1