From: Matthias Maier <tamiko@43-1.org>
Date: Sun, 11 Dec 2022 18:35:12 +0000 (-0600)
Subject: Merge pull request #14560 from peterrum/relax_assert
X-Git-Tag: v9.5.0-rc1~741
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4269fc9151b4f2609ad817f20961293e73981312;p=dealii.git

Merge pull request #14560 from peterrum/relax_assert

Relax assert
---

4269fc9151b4f2609ad817f20961293e73981312