From: Martin Kronbichler 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