From: Martin Kronbichler Date: Fri, 8 Sep 2023 06:05:57 +0000 (+0200) Subject: Merge pull request #15968 from bangerth/x3 X-Git-Tag: relicensing~519 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fb343c94ef1e6ecabbf4d6142b93ff01c48e4448;p=dealii.git Merge pull request #15968 from bangerth/x3 Allow comparison of IndexSet objects against default-constructed objects. --- fb343c94ef1e6ecabbf4d6142b93ff01c48e4448