From: Rene Gassmoeller Date: Wed, 18 Dec 2024 13:29:27 +0000 (+0100) Subject: Merge pull request #17940 from bangerth/infinity-2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=931d98b3f89fbda8e51bd531a88f21e7800ef275;p=dealii.git Merge pull request #17940 from bangerth/infinity-2 Avoid infinities in another place. --- 931d98b3f89fbda8e51bd531a88f21e7800ef275