From: Matthias Maier <tamiko@43-1.org>
Date: Sun, 16 Jul 2023 01:52:30 +0000 (+0000)
Subject: Merge pull request #15748 from bangerth/same-as
X-Git-Tag: relicensing~668
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=db38f30c17272a7131407595436438295c36ce9b;p=dealii.git

Merge pull request #15748 from bangerth/same-as

Manually fix up some std::is_same<...> places.
---

db38f30c17272a7131407595436438295c36ce9b