From: Timo Heister Date: Sat, 20 Jul 2024 02:49:10 +0000 (-0400) Subject: Merge pull request #17296 from bangerth/check X-Git-Tag: v9.6.0-rc1~64 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ec6a30c3c840f8a6043f1d2ec25e35212d20e251;p=dealii.git Merge pull request #17296 from bangerth/check Check that we can read from/write to streams. --- ec6a30c3c840f8a6043f1d2ec25e35212d20e251