From: Daniel Arndt Date: Wed, 19 Jun 2024 12:52:37 +0000 (-0400) Subject: Merge pull request #17138 from gassmoeller/fix_rare_division_by_zero X-Git-Tag: v9.6.0-rc1~179 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f6fb6e8f9c339922de56b003ca27c3c63da03df1;p=dealii.git Merge pull request #17138 from gassmoeller/fix_rare_division_by_zero Fix rare division by zero --- f6fb6e8f9c339922de56b003ca27c3c63da03df1