From: Martin Kronbichler <martin.kronbichler@uni-a.de>
Date: Fri, 8 Sep 2023 06:03:55 +0000 (+0200)
Subject: Merge pull request #15967 from bangerth/x1
X-Git-Tag: relicensing~520
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=65c0e4a1f9512a8d83384b723f374636a5cc4d52;p=dealii.git

Merge pull request #15967 from bangerth/x1

Avoid using a deprecated function.
---

65c0e4a1f9512a8d83384b723f374636a5cc4d52