From: Wolfgang Bangerth Date: Thu, 17 Aug 2023 22:54:02 +0000 (-0600) Subject: Merge pull request #15889 from drwells/more-if-constexpr X-Git-Tag: relicensing~581 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ef09d23afd43c7e7981a49c2ccabef5f2fa32162;p=dealii.git Merge pull request #15889 from drwells/more-if-constexpr Use if constexpr in some more places. --- ef09d23afd43c7e7981a49c2ccabef5f2fa32162