From: Daniel Arndt <arndtd@ornl.gov>
Date: Thu, 16 May 2024 15:09:50 +0000 (-0400)
Subject: Merge pull request #17024 from bangerth/stream-for-output
X-Git-Tag: v9.6.0-rc1~267
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bdf3ad07e2ffe13f7e2f2875123682bd4ca22d23;p=dealii.git

Merge pull request #17024 from bangerth/stream-for-output

Use correct stream for output.
---

bdf3ad07e2ffe13f7e2f2875123682bd4ca22d23