From: Denis Davydov Date: Wed, 28 Nov 2018 06:23:48 +0000 (+0100) Subject: Merge pull request #7480 from masterleinad/clang-tidy-complains X-Git-Tag: v9.1.0-rc1~526 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c857905d2f25fbae2c7d7d725f8169cd769e6c53;p=dealii.git Merge pull request #7480 from masterleinad/clang-tidy-complains Fix a few clang-tidy complains --- c857905d2f25fbae2c7d7d725f8169cd769e6c53