From: Timo Heister <timo.heister@gmail.com>
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