From: Matthias Maier <tamiko@43-1.org>
Date: Mon, 29 Jan 2024 23:26:03 +0000 (+0000)
Subject: Merge pull request #16560 from bangerth/warning
X-Git-Tag: relicensing~100
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=62c6cce8412d2596252cd64d918e8f33462fa2b3;p=dealii.git

Merge pull request #16560 from bangerth/warning

Silence a warning.
---

62c6cce8412d2596252cd64d918e8f33462fa2b3