From: Wolfgang Bangerth Date: Tue, 21 Apr 2020 17:33:09 +0000 (+0200) Subject: Merge pull request #9932 from tjhei/tidy_clang10fixes X-Git-Tag: v9.2.0-rc1~201 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=86182d4e424ef2dba868be94d8a45e24dda7cb53;p=dealii.git Merge pull request #9932 from tjhei/tidy_clang10fixes small clang-tidy fix --- 86182d4e424ef2dba868be94d8a45e24dda7cb53