From: Daniel Arndt Date: Wed, 4 Dec 2024 14:36:45 +0000 (-0500) Subject: Merge pull request #17904 from Rombur/floating_pt_excep X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=052d134864b4c5b5b4ac1eca13511585fd4cdb7c;p=dealii.git Merge pull request #17904 from Rombur/floating_pt_excep --- 052d134864b4c5b5b4ac1eca13511585fd4cdb7c