From: Timo Heister Date: Thu, 23 Jul 2020 13:47:17 +0000 (-0400) Subject: Merge pull request #10743 from peterrum/missing-braces X-Git-Tag: v9.3.0-rc1~1254 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=163366d95fc2391e21c55d8639591039ed18546c;p=dealii.git Merge pull request #10743 from peterrum/missing-braces Add -Wmissing-braces to linux test --- 163366d95fc2391e21c55d8639591039ed18546c