From: Timo Heister <timo.heister@gmail.com>
Date: Tue, 16 May 2023 20:16:03 +0000 (-0400)
Subject: Merge pull request #15228 from kronbichler/compile_warning2
X-Git-Tag: v9.5.0-rc1~224
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fbf0147a467e9111b0fa5e46c6877c3aa1f4d9c3;p=dealii.git

Merge pull request #15228 from kronbichler/compile_warning2

Avoid compiler warning
---

fbf0147a467e9111b0fa5e46c6877c3aa1f4d9c3