From: Martin Kronbichler Date: Fri, 10 May 2019 18:05:57 +0000 (+0200) Subject: Merge pull request #8063 from masterleinad/fix_clang_4_warnings X-Git-Tag: v9.1.0-rc1~85 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=02b51d2465e2d99df08904473c21404a6f6b8a52;p=dealii.git Merge pull request #8063 from masterleinad/fix_clang_4_warnings Fix clang-4 warnings --- 02b51d2465e2d99df08904473c21404a6f6b8a52