From: Daniel Arndt Date: Tue, 25 Apr 2023 12:37:12 +0000 (-0400) Subject: Merge pull request #15136 from peterrum/remove_assert X-Git-Tag: v9.5.0-rc1~289 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4ec36db9eed1e46fb96b5787af7e80d9ab45b180;p=dealii.git Merge pull request #15136 from peterrum/remove_assert --- 4ec36db9eed1e46fb96b5787af7e80d9ab45b180