From: David Wells Date: Fri, 1 Sep 2023 12:33:18 +0000 (-0400) Subject: Merge pull request #15953 from bangerth/assertion X-Git-Tag: relicensing~532 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=35fceb40479583c6591b5b8d84796b076bd13414;p=dealii.git Merge pull request #15953 from bangerth/assertion Add an assertion to IndexSet::compress(). --- 35fceb40479583c6591b5b8d84796b076bd13414