From: Daniel Arndt 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