From: Martin Kronbichler Date: Fri, 18 Aug 2023 08:18:45 +0000 (+0200) Subject: Merge pull request #15890 from bangerth/tolerance X-Git-Tag: relicensing~580 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1472e19ee3f88850abda6af7c7b022673e9146a5;p=dealii.git Merge pull request #15890 from bangerth/tolerance Use a relative tolerance. --- 1472e19ee3f88850abda6af7c7b022673e9146a5