From: Timo Heister <timo.heister@gmail.com>
Date: Sun, 3 May 2020 20:02:37 +0000 (-0400)
Subject: Merge pull request #10024 from masterleinad/fix_clang_warnings
X-Git-Tag: v9.2.0-rc1~136
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=380c6688ea05969abeedc810aa73bd272b947a33;p=dealii.git

Merge pull request #10024 from masterleinad/fix_clang_warnings

Fix some clang-10 warnings
---

380c6688ea05969abeedc810aa73bd272b947a33