From: David Wells Date: Fri, 4 Jul 2025 18:11:06 +0000 (-0400) Subject: Merge pull request #18623 from kronbichler/fix_two_warnings X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3af2b394bfd0a0a1ae86d71b55f51723ccc492cf;p=dealii.git Merge pull request #18623 from kronbichler/fix_two_warnings Fix two warnings about use of deprecated interfaces --- 3af2b394bfd0a0a1ae86d71b55f51723ccc492cf