From: David Wells Date: Sat, 12 Oct 2024 21:14:46 +0000 (-0400) Subject: Merge pull request #17763 from fernandohv3279/test X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9318034a1d2f59925c1eca2ec62b46aa9b60ab0c;p=dealii.git Merge pull request #17763 from fernandohv3279/test check an invariant of class IndexSet --- 9318034a1d2f59925c1eca2ec62b46aa9b60ab0c