From: David Wells <drwells@email.unc.edu>
Date: Sat, 22 May 2021 00:21:39 +0000 (-0400)
Subject: Merge pull request #12276 from marcfehling/clang-tidy
X-Git-Tag: v9.3.0-rc1~14
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f3636aa043bb6ae1d6ccd7f7dfc8dad388b5c8ca;p=dealii.git

Merge pull request #12276 from marcfehling/clang-tidy

Fix clang-tidy issues with #12246.
---

f3636aa043bb6ae1d6ccd7f7dfc8dad388b5c8ca