From: Martin Kronbichler Date: Fri, 23 May 2025 05:48:01 +0000 (+0200) Subject: Merge pull request #18485 from bangerth/empty X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fa692bbc3f1b966284977c89ba535ec80c606428;p=dealii.git Merge pull request #18485 from bangerth/empty Make sure files are never truly empty. --- fa692bbc3f1b966284977c89ba535ec80c606428