From: Matthias Maier Date: Sun, 7 Apr 2024 03:25:00 +0000 (+0000) Subject: Merge pull request #16864 from bangerth/simplify X-Git-Tag: v9.6.0-rc1~394 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ea076cb136ccfa70cf6faa38ac211d6b4ccdcbe0;p=dealii.git Merge pull request #16864 from bangerth/simplify Simplify some functions by just deferring to member functions. --- ea076cb136ccfa70cf6faa38ac211d6b4ccdcbe0