From: Daniel Arndt Date: Fri, 13 Mar 2020 12:48:51 +0000 (-0400) Subject: Merge pull request #9657 from kronbichler/remove_types_are_equal X-Git-Tag: v9.2.0-rc1~425 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=08c4a39ff978430553d008b6ab0690c5b99e2062;p=dealii.git Merge pull request #9657 from kronbichler/remove_types_are_equal Replace a few types_are_equal by std::is_same --- 08c4a39ff978430553d008b6ab0690c5b99e2062