From: Martin Kronbichler Date: Fri, 21 Feb 2025 10:35:50 +0000 (+0100) Subject: Merge pull request #18153 from bangerth/clear X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=212e7606f36450a818578e0c8417fd2692ca68b7;p=dealii.git Merge pull request #18153 from bangerth/clear Err on the safe side. --- 212e7606f36450a818578e0c8417fd2692ca68b7