From: Matthias Maier Date: Tue, 4 Jul 2023 16:48:43 +0000 (+0000) Subject: Merge pull request #15629 from masterleinad/fix_remaining_deprecations X-Git-Tag: relicensing~762 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3d415b3b6051d7b08933f215633e91a9519efe51;p=dealii.git Merge pull request #15629 from masterleinad/fix_remaining_deprecations Remove remaining deprecations --- 3d415b3b6051d7b08933f215633e91a9519efe51