From: Matthias Maier <tamiko@43-1.org>
Date: Fri, 14 Jul 2023 04:01:06 +0000 (+0000)
Subject: Merge pull request #15739 from bangerth/_v
X-Git-Tag: relicensing~681
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c50a11cdba7da181461de4e8efe4c7cb069e473c;p=dealii.git

Merge pull request #15739 from bangerth/_v

[C++17] Use std::is_same_v instead of std::is_same<...>::value.
---

c50a11cdba7da181461de4e8efe4c7cb069e473c