From: David Wells Date: Mon, 8 Apr 2024 22:25:31 +0000 (-0400) Subject: Merge pull request #16874 from bangerth/exc X-Git-Tag: v9.6.0-rc1~389 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9c0848429c81ace3d5b10fbd1018d8e40799592e;p=dealii.git Merge pull request #16874 from bangerth/exc Remove two exceptions that are apparently no longer used. --- 9c0848429c81ace3d5b10fbd1018d8e40799592e