From: Bruno Turcksin Date: Mon, 28 Apr 2025 13:44:10 +0000 (-0400) Subject: Merge pull request #18395 from bangerth/doc X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9858cae7c37530ce368e4336ad15ecd78c061190;p=dealii.git Merge pull request #18395 from bangerth/doc Fix the name of an exception class reference. --- 9858cae7c37530ce368e4336ad15ecd78c061190