From: Martin Kronbichler Date: Fri, 15 Sep 2023 08:24:27 +0000 (+0200) Subject: Merge pull request #15990 from bangerth/simplify X-Git-Tag: relicensing~505 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=018b99a823cc19c3d43de2b2b28e5af1c6bbaf0a;p=dealii.git Merge pull request #15990 from bangerth/simplify Simplify some code. --- 018b99a823cc19c3d43de2b2b28e5af1c6bbaf0a