From: David Wells <drwells@email.unc.edu>
Date: Thu, 16 Dec 2021 17:37:57 +0000 (-0500)
Subject: Merge pull request #13091 from bangerth/warning-2
X-Git-Tag: v9.4.0-rc1~726
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e373e9a68943333ba3d19790a7dd58e97c7de692;p=dealii.git

Merge pull request #13091 from bangerth/warning-2

Alternative way to avoid warnings.
---

e373e9a68943333ba3d19790a7dd58e97c7de692