From: Matthias Maier Date: Sat, 15 Jul 2023 03:37:41 +0000 (+0000) Subject: Merge pull request #15746 from bangerth/is_base_of X-Git-Tag: relicensing~674 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dd65f9f16d0fc06c0b0a33322b3075feaa0c1f54;p=dealii.git Merge pull request #15746 from bangerth/is_base_of [C++17] Prefer std::is_base_of_v over std::is_base_of::value. --- dd65f9f16d0fc06c0b0a33322b3075feaa0c1f54