From: Daniel Arndt Date: Mon, 12 Feb 2024 18:03:40 +0000 (-0700) Subject: Merge pull request #16607 from bangerth/t-1 X-Git-Tag: relicensing~46 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=53e343ed3418e8c2e1227b6024b5a70f160524ed;p=dealii.git Merge pull request #16607 from bangerth/t-1 Improve the error message we get for DEAL_II_ASSERT_UNREACHABLE(). --- 53e343ed3418e8c2e1227b6024b5a70f160524ed